The Certora Solana Prover
=========================

The *Certora Solana Prover* allows formal verification of Solana smart contracts written in Rust.

.. toctree::
   :maxdepth: 1
   :caption: Contents:

   installation
   usage
   speclanguage
   options
   output
   sanity
   troubleshooting


.. Links
   =====

.. _Solana Documentation: https://solana.com/docs