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