formal-land/coq-of-solidity
Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
CoqGPL-3.0
Issues
- 1
Define stdlib function for Yul (first version)
#5 opened by clarus - 1
General progress issue
#1 opened by clarus - 1
Add scopes
#4 opened by clarus