Running the Certora Prover

Todo

This documentation is incomplete. In the meantime, see Lesson 1 of the tutorial for a detailed walkthrough of how to write a basic property, verify it using the Certora Prover, and understand the verification results.

Feel free to post questions at forum.certora.com.