lambdaclass
diff --git a/‎docs/src/SUMMARY.md‎
Lines changed: 1 addition & 1 deletion b/‎docs/src/SUMMARY.md‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎docs/src/proving_systems/starks/SUMMARY.md‎ renamed to ‎docs/src/proving_systems/starks/starks.md‎ b/‎docs/src/proving_systems/starks/SUMMARY.md‎ renamed to ‎docs/src/proving_systems/starks/starks.md‎
diff --git a/‎docs/src/proving_systems/summary.md‎
Lines changed: 0 additions & 3 deletions b/‎docs/src/proving_systems/summary.md‎
Lines changed: 0 additions & 3 deletions
@@ -3,6 +3,6 @@
 - [Introduction](./introduction.md)
 
 - [Proving Systems]()
-    - [STARKs](./proving_systems/starks/summary.md)
+    - [STARKs](./proving_systems/starks/starks.md)
         - [Recap](./proving_systems/starks/recap.md)
         - [Implementation](./proving_systems/starks/implementation.md)