Sui Prover: Verifying Move Contracts for Sui
============================================

*Certora Sui Prover* enables formal verification of `Move`_ based smart contracts for the `Sui`_ Blockchain.

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

   installation
   usage


.. Links
   =====

.. _Move: https://docs.sui.io/concepts/sui-move-concepts
.. _Sui:
   https://docs.sui.io/guides