start

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
start [2025/07/15 16:55] – fponzistart [2025/07/15 17:51] (current) – fponzi
Line 37: Line 37:
  
 ==== Contributing ==== ==== Contributing ====
 +These are some of the ways you can contribute.
 +
 +=== Wiki ===
  
 Contributions to the wiki are very welcome! Contributions to the wiki are very welcome!
Line 43: Line 46:
  
 You can learn the syntax from [[wiki:syntax|here]]. Markdown is not supported. You can learn the syntax from [[wiki:syntax|here]]. Markdown is not supported.
 +
 +=== Tools ===
 +
 +Currently the main areas are the [[codebase:start|TLC model checker]] (java), and the [[using:vscode:start|Visual Studio Extension]].
 +
 +If you're looking for some inspiration, be sure to check the monthly development update that usually has good first contribution ideas: [[https://foundation.tlapl.us/blog/index.html]]
  
 ---- ----
  • start.1752598514.txt.gz
  • Last modified: 2025/07/15 16:55
  • by fponzi