This wiki is community driven, and aims to become a useful resource for TLA+ users.
This wiki was created in response to the 2024 TLA+ community survey. More specifically, it aims to address the following feedbacks:
The takeaway also sums up the mission of this wiki well:
Streamlining Documentation: There’s a clear demand for better-organised documentation and centralised resources with a more modern interface to cater to users’ preferences for accessible and comprehensive guidance.
This is a community-backed effort, so if you find errors or suggestions/ideas/feedback, please create a PR or an issue.
If you want to contribute, please check Contributing page with detailed step by step.
Contribution to the wiki are very welcome!
In order to contribute you will need to register to this website for an account (it only requires username, email and password).
You can learn the syntax from here (markdown is not supported).
This wiki is hosted on an Azure VM. The wiki is implemented with the dokuwiki software. If you have questions, suggestions or feedback about the wiki, please reach out to fponzi+tlapluswiki at fponzi.me.
Browse Topics: