Differences

This shows you the differences between two versions of the page.

--- sidebar [2024/09/28 16:02] – created fponzi
+++ sidebar [2025/03/18 19:45] (current) – Added link to new section in sidebar: Create your own TLA⁺ tools ahelwer
@@ Line 1: / Line 1: @@
-Welcome to the TLA+ Wiki!
+{{:logo-150.png?150|}}
+====== TLA+ Wiki ======
+[[start|Start here!]]
+----
+  * [[learning:start|Learning the language]]
+  * [[codebase:start|Contributing to the tools]]
+  * [[using:start|Learn about the tools]]
+  * [[creating:start|Create your own TLA⁺ tools]]
+----
+Useful links:
+  * [[http://tlapl.us/|TLA+ Homepage]]
+  * [[https://github.com/tlaplus/tlaplus|tlaplus on GitHub]]
+  * Reach out to the [[community|community]]