Education support

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