sidebar

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
sidebar [2024/09/28 16:28] – fponzisidebar [2025/03/18 19:45] (current) – Added link to new section in sidebar: Create your own TLA⁺ tools ahelwer
Line 1: Line 1:
 {{:logo-150.png?150|}} {{:logo-150.png?150|}}
 ====== TLA+ Wiki ====== ====== TLA+ Wiki ======
-[[start|Start here]]+[[start|Start here!]]
  
-[[learning:intro|Learning the language]] +----
- +
-[[codebase:intro|Contributing to the tools]] +
- +
-[[using:intro|Learn about the tools]]+
  
 +  * [[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: 
-Reach out to the [[community|community]]+  * [[http://tlapl.us/|TLA+ Homepage]] 
 +  * [[https://github.com/tlaplus/tlaplus|tlaplus on GitHub]] 
 +  * Reach out to the [[community|community]]
  
  
  • sidebar.1727540922.txt.gz
  • Last modified: 2024/09/28 16:28
  • by fponzi