formal-land / coq-of-solidityLinks

Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
33Updated 2 weeks 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: