community

TLA+ Community

To foster broad collaborations, we will start hosting monthly meetings to coordinate and discuss ongoing and future TLA+ development. Please join the meetings if you want to become involved or actively contribute to the TLA+ project. The meetings are hosted on Microsoft Teams and you can join from your browser (no need to install anything in advance).

Please join and say hi!

  • community.txt
  • Last modified: 2024/10/09 15:02
  • by fponzi