formal-land / coq-of-solidity

Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
18Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for coq-of-solidity