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.
Todo
The built-in rules Basic setup checks — sanity and Thorough complexity checks — deepSanity can be useful early in a project.