doc: Add proof server documentation to mdbook

Neptune-Crypto · Oct 31, 2024 · 069637c · 069637c
1 parent ebdb760
commit 069637c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
@@ -17,3 +17,4 @@
 - [Contributing](./contributing.md)
   - [Git Workflow](./contributing/git-workflow.md)
   - [Git Message](./contributing/git-message.md)
+  - [Sharing Proofs](./contributing/proof-sharing.md)
diff --git a/docs/src/contributing/proof-sharing.md b/docs/src/contributing/proof-sharing.md
@@ -1,7 +1,7 @@
 # Sharing proofs for faster test execution
 
 Many tests in `neptune-core` rely on cryptographic STARK proofs of correct
-program execution generated by (Triton VM)[https://triton-vm.org/]. It's time
+program execution generated by [Triton VM](https://triton-vm.org/). It's time
 consuming to generate all the proofs required for the test suite. For this
 reason, the tests that require STARK-proofs should deterministic such that
 proofs can be reused across test runs.