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

To foster broad collaborations, we will start hosting monthly meetings to coordinate and discuss ongoing and future TLA+ development. Please join the meetings if you want to become involved or actively contribute to the TLA+ project. The meetings are hosted on Microsoft Teams and you can join from your browser (no need to install anything in advance).

• Calendar with meetings schedule: https://zoom-lfx.platform.linuxfoundation.org/meetings/tla?view=month

Please join and say hi!