community

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== 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+ 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://calendar.google.com/calendar/embed?src=cb3f93f188c92378a8fec42b25365ab2a64665d770a8265c1fcec00e03823c6c%40group.calendar.google.com&ctz=America%2FLos_Angeles
  * Link to the Microsoft Teams call: https://aka.ms/TLAPlusProject

Please join and say hi!