solidity-typechecker

The ocaml-solidity project