Examples for the solc-verify presentation at the Solidity Summit 2020
No issues in this repository yet.