We provide training such as formal verification, smart contract, and OCaml to engineers interested in blockchain and functional languages.

We provide training such as formal verification, smart contract, and OCaml to engineers interested in blockchain and functional languages.