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.
Certora/BallGameExample
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|