This is a Certora tutorial project following the Certora Basic Presentation repository. This project demonstrates the usage of Certora Prover for formal verification of smart contracts.
Tip
To test your Certora installation, run the following from the repository's root dir:
certoraRun certora/confs/VotingBug.conf