formal-land / coq-of-solidity

Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
14Updated last week

Related projects

Alternatives and complementary repositories for coq-of-solidity