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.

Contents