fix index

Certora · Feb 11, 2025 · 5281b84 · 5281b84
1 parent 5712017
commit 5281b84
Showing 1 changed file with 5 additions and 17 deletions.
diff --git a/docs/sunbeam/index.rst b/docs/sunbeam/index.rst
@@ -1,31 +1,19 @@
-Sunbeam Documentation
-=====================
+Sunbeam: Verification for Soroban
+=================================
 
-Sunbeam is a tool for formally verifying Soroban smart contracts written in Rust. 
+*Certora Sunbeam* enables formal verification of `Soroban`_ smart contracts. See the `Certora Sunbeam Tutorials`_ to learn how to use it!
 
 .. toctree::
-   :maxdepth: 2
+   :maxdepth: 1
    :caption: Contents:
 
+   installation
    getting-started
    spec-syntax
    soroban-types
    helper-functions
    assertions
    common-patterns
-   running
-   examples
-
-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
    troubleshooting