formal-land / coq-of-solidityLinks

Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
37Updated 2 months ago

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: