Sunbeam: Verification for Soroban
=================================

*Certora Sunbeam* enables formal verification of `Soroban`_ smart contracts. See the `Certora Sunbeam Tutorials`_ to learn how to use it!

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

   installation
   usage
   troubleshooting


.. Links
   =====

.. _Soroban: https://stellar.org/soroban
.. _Certora Sunbeam Tutorials:
   https://certora-sunbeam-tutorials.readthedocs-hosted.com/en/latest/