Tla+ web explorer

FedericoPonzi · Jun 14, 2024 · 57ccf88 · 57ccf88
1 parent 4f1c02a
commit 57ccf88
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -33,6 +33,7 @@
     - [Community Modules](./using/community-modules.md)
     - [Debugger](./using/debugger.md)
     - [Generating stage graphs](./using/generating-state-graphs.md)
+    - [TLA+ Web Explorer](./using/tla-web-explorer.md)
     - [CI for your specifications](./using/ci-for-specs.md)
     - [Known limitations](./using/limitations.md)
 - [TLA+ Community: what to do when you're stuck](community.md)