Example Certora verification for a simple multi-contract system.
This repository is a work in progress; see the Certora Tutorial and the Certora Documentation in the mean time.
Example Certora verification for a simple multi-contract system
Solidity
Example Certora verification for a simple multi-contract system.
This repository is a work in progress; see the Certora Tutorial and the Certora Documentation in the mean time.