/BallGameExample

An example showing how to strenghten an inductive hypothesis

Primary LanguageSolidity

Keep Away

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.