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.
```

```{toctree}
:maxdepth: 2
:caption: Contents

intro.md
/docs/user-guide/install.md
approx/index.md
techniques/index.md
diagnosis/index.md
checking/index.md
cli/index.md
portal/using.md
changelog/index.md
```