https://docs.tlapl.us/ 2026-05-09T11:48:02+00:00 https://docs.tlapl.us/ https://docs.tlapl.us/_media/logo.png text/html 2025-09-23T15:12:45+00:00 Anonymous (anonymous@undisclosed.example.com) https://docs.tlapl.us/community?rev=1758640365&do=diff TLA+ Community * There is a very active google group: <https://groups.google.com/forum/#!forum/tlaplus> * The TLA+ subreddit is also quite active: <https://www.reddit.com/r/tlaplus/> * You can ask questions also on stackoverflow: <https://stackoverflow.com/questions/tagged/tla%2b> * Twitter/X (unmantained): <https://twitter.com/tlaplus> Monthly community meetings To foster broad collaborations, we will start hosting monthly meetings to coordinate and discuss ongoing and future TLA+ de… text/html 2025-04-30T16:12:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://docs.tlapl.us/creating?rev=1746029548&do=diff Redirect: creating:start text/html 2024-09-28T15:58:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://docs.tlapl.us/glossary?rev=1727539103&do=diff Glossary * Stuttering (steps): steps in which the state of the system does not change. text/html 2025-03-18T19:45:43+00:00 Anonymous (anonymous@undisclosed.example.com) https://docs.tlapl.us/sidebar?rev=1742327143&do=diff TLA+ Wiki Start here! ---------- * Learning the language * Contributing to the tools * Learn about the tools * Create your own TLA⁺ tools ---------- Useful links: * TLA+ Homepage * tlaplus on GitHub * Reach out to the community text/html 2025-07-15T17:51:15+00:00 Anonymous (anonymous@undisclosed.example.com) https://docs.tlapl.us/start?rev=1752601875&do=diff Welcome to the TLA+ Wiki This wiki is community driven, and aims to become a useful resource for TLA+ users. TLA+ and TLC TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. text/html 2024-10-05T11:56:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://docs.tlapl.us/tlaf?rev=1728129388&do=diff TLAF: TLA+ Foundation Official website: <https://foundation.tlapl.us/> The TLA+ Foundation (TLAF) is an independent, non-profit organization dedicated to fostering the adoption of the TLA+ specification language in industry, academia, and education, guided by the overall goal of advancing the mathematical thinking in software engineering. The TLAF funds development related to TLA+ to broaden its use and facilitate a thriving TLA+ community, encouraging cooperation among members of that communi…