Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community

All Rooms

3 Rooms 39 People
  • community

    For help, discussion of the book Practical TLA+
    26 People
  • Questions

    If you have a question, ask it here.
    9 People
  • Errata

    If you notice a mistake, please share it here! Current errata is at https://github.com/hwayne/practical-tla-plus/blob/master/errata.md
    4 People