This repository contains a simple example contract that shows how strengthening invariants is sometimes necessary to prove them.
TODO: this repository is a work in progress. See the Certora tutorials.
An example showing how to strenghten an inductive hypothesis
This repository contains a simple example contract that shows how strengthening invariants is sometimes necessary to prove them.
TODO: this repository is a work in progress. See the Certora tutorials.
An example showing how to strenghten an inductive hypothesis