added @m-kus Simply tool

Author: imaginator

docs/getting-started/index.md

@@ -6,7 +6,6 @@ For **script development**, start with [SimplicityHL](https://github.com/Blockst
 
 ## Available Tools & Implementations
 
-
 | Language/Tool | Purpose |
 |---------------|---------|
 | :material-lambda: [**Haskell Simplicity**](https://github.com/BlockstreamResearch/simplicity/tree/master/Haskell) | The **reference implementation** and also used to generate code for Rust and C implementations |
@@ -18,5 +17,6 @@ For **script development**, start with [SimplicityHL](https://github.com/Blockst
 | :material-tools: [**Command line tool**](https://github.com/BlockstreamResearch/hal-simplicity) | Hal-Simplicity is a command line tool (written in Rust) based on [`hal`](https://github.com/stevenroose/hal) by Stephen Roose |
 | :material-tools: [**VSCode Extension**](https://marketplace.visualstudio.com/items?itemName=Simplicity.simplicityhl) | Provides syntax highlighting for the SimplicityHL programming language. |
 | :material-lock: [**ZKP**](https://github.com/starkware-bitcoin/stark-symphony) | A zero knowledge prover written in SimplicityHL |
+| :material-lock: [**Simply**](https://github.com/starkware-bitcoin/simply)  | Command line tooling for SimplicityHL  |
 
 **Next Steps**: Try out the [WebIDE](https://github.com/BlockstreamResearch/simplicity-webide) to get a feel for Simplicity, then dive into [SimplicityHL](https://github.com/BlockstreamResearch/SimplicityHL) for your first real projects.

mkdocs.yml

@@ -124,7 +124,6 @@ nav:
       - Rust: getting-started/rust.md
       - Haskell: getting-started/haskell.md
   - Documentation:
-      - documentation/index.md
       - How Simplicity Works: documentation/how-simplicity-works.md
       - Jets Explained: documentation/jets-explained.md
       - Simplicity for EVM developers: documentation/simplicity-for-evm-developers.md