- :doc:`docs/user-guide/index` -- explains how to use the Prover to verify smart contracts. Organized by topic and focuses on the most useful features.
- :doc:`docs/cvl/index` -- a reference manual for CVL.
- :doc:`docs/prover/index` -- a reference manual for the Certora Prover.
- :doc:`docs/sunbeam/index` -- instructions for installing and using Certora Sunbeam for formal verification of Soroban contracts.
- :doc:`docs/gambit/index` -- use mutation testing to improve you specifications.
.. toctree:: :maxdepth: 1 :caption: Contents :hidden: docs/user-guide/index.md docs/cvl/index.md docs/prover/index.md docs/sunbeam/index.rst docs/gambit/index.md
- :doc:`docs/user-guide/index` (in this Documentation).
- Certora Prover Tutorials -- learning to use the Prover and CVL through exercises.
- Certora Prover and CVL Examples Repository -- learn CVL from examples.
- :doc:`docs/user-guide/tutorials` -- lists workshops and tutorials that cover basic Prover usage.
- Certora Sunbeam Tutorials -- a set of exercises using Soroban contracts in Rust.
.. toctree:: :maxdepth: 1 :caption: Additional information docs/equiv-check/index.md docs/whitepaper/index.md
.. toctree:: :hidden: genindex
If you have questions about Certora's products, the best ways to contact us is on our Help Desk channel on Discord.
For sales, please use the contact form on our website.
.. only:: is_dev_build To do list ---------- .. todolist::