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