Merge branch 'solana/docs_template' of github.com:Certora/Documentati…

…on into solana/docs_template
Certora · Jan 13, 2025 · 1fd987c · 1fd987c
2 parents 037c72d + d73d115
commit 1fd987c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/docs/solana/index.rst b/docs/solana/index.rst
@@ -1,17 +1,17 @@
 Solana Prover
 =================================
 
-The *Certora Solana Prover* allows formal verification of Solana smart contracts.
+The *Certora Solana Prover* allows formal verification of Solana smart contracts written in Rust.
 
 .. toctree::
    :maxdepth: 1
    :caption: Contents:
 
    installation
-   output
    speclanguage
-   sanity
    options
+   output
+   sanity
    troubleshooting
 
 

diff --git a/docs/solana/sanity.rst b/docs/solana/sanity.rst
@@ -1,8 +1,8 @@
 Sanity Mode
 =================================
 
-* How to use it
 * What is the sanity mode?
+* How to use it
 * Links to Sanity Mode of CVL
 * Add a screenshot
 * How to interpret the results of sanity