formal-land / coq-of-solidityLinks

Formal verification for Solidity smart contracts with Rocq πŸ“ Verify arbitrary properties on your smart contracts and make no bugs!
β˜†38Updated 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: