Tutorial and Workshops


The Certora Tutorial is a series of guided lessons that covers installation and basic usage of the Certora Prover.

It is available on github.

The Tutorial is organized as a series of lessons and exercises. You are encouraged to clone the git repository and work through the exercises yourself. Each directory has a README file that explains the lesson.

Recorded Workshops

Certora has presented a number of hands-on workshops on how to use the Prover. Recordings of these workshops are available: