TLA+ Community: what to do when you’re stuck
- 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: https://twitter.com/tlaplus
127.0.0.1