Differences

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

--- start [2025/07/15 16:55] – [Welcome to the TLA+ Wiki] fponzi
+++ start [2025/07/15 17:51] (current) – fponzi
@@ Line 2: / Line 2: @@
 This wiki is community driven, and aims to become a useful resource for TLA+ users.
 ===== TLA+ and TLC ======
@@ Line 39: / Line 37: @@
 ==== Contributing ====
+These are some of the ways you can contribute.
+=== Wiki ===
 Contributions to the wiki are very welcome!
@@ Line 45: / Line 46: @@
 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]]
 ----