Gitstar Ranking

SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity. - View it on GitHub
https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
Star
51
Rank
391982