The Certora Prover
Note
The reference manual is currently being heavily edited and reorganized. Where possible, we have included links to the best existing documentation for each topic.
- Introduction
- Installation
- Prover Approximations
- Checking Specifications
- Certora Prover CLI
- Using the Certora Portal
- Changelog
- Prod version March 21, 2022
- Prod version March 6, 2022 [MAJOR]
- Prod version February 24, 2022
- Prod version February 10, 2022
- Prod version January 30, 2022
- Prod version January 3rd, 2022
- Prod version January 1st, 2022
- Prod version December 19, 2021
- Prod version December 12, 2021
- Prod version December 4, 2021
- Prod version November 16, 2021
- Prod version November 15, 2021
- Prod version November 7, 2021
- Prod version October 3, 2021
- Prod version August 29th, 2021
- Prod version August 8th, 2021
- Prod version July 18, 2021
- Prod version July 17, 2021
- Prod version July 12, 2021
- Prod version June 14th, 2021
- Prod version June 13th, 2021
- Prod version May 30th, 2021