totiz / solidity-summit-demo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hajduakos/solidity-summit-demo
Examples for the solc-verify presentation at the Solidity Summit 2020
Home Page: https://github.com/SRI-CSL/solidity