formal-land / coq-of-solidityLinks

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

Alternatives and similar repositories for coq-of-solidity

Users that are interested in coq-of-solidity are comparing it to the libraries listed below

Sorting: