TLA+ Wiki

Start here!

• Learning the language
• Contributing to the tools
• Learn about the tools

Useful links:

• TLA+ Homepage
• tlaplus on GitHub
• Reach out to the community