Merge pull request #310 from Certora/chandrakananandi-patch-6-1

Update index.rst
Certora · Nov 5, 2024 · cb2d2c9 · cb2d2c9
2 parents de65221 + 8efd285
commit cb2d2c9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/sunbeam/index.rst b/docs/sunbeam/index.rst
@@ -1,7 +1,7 @@
 Sunbeam: Formal Verification for Soroban
 ========================================
 
-*Certora Sunbeam* enables formal verification of `Soroban`_ smart contracts.
+*Certora Sunbeam* enables formal verification of `Soroban`_ smart contracts. See the `Certora Sunbeam Tutorials`_ to learn how to use it!
 
 .. toctree::
    :maxdepth: 1
@@ -15,3 +15,5 @@ Sunbeam: Formal Verification for Soroban
    =====
 
 .. _Soroban: https://stellar.org/soroban
+.. _Certora Sunbeam Tutorials:
+   https://certora-sunbeam-tutorials.readthedocs-hosted.com/en/latest/