Certora/docs-infrastructure

Infrastructure for Certora documentation, tutorials and others.

Certora Docs Infrastructure

A packages for easily creating sphinx docs for Certora. The package contains tools for:

1. CVL highlighting in sphinx
2. Linking to code inside a specified git submodule
3. Fetching and displaying code from the git submodule
4. Development build state, which shows todo comments and additional pages that are ordinarily not displayed
5. A certora-doc-quickstart script for quickly setting up a documentation project

• See Certora Documents Infrastructure’s documentation.
• Use this link to Certora Documents Infrastructure’s documentation if you are denied access.