====== 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