diff --git a/README.md b/README.md index fc0b76c80e..893c9b36df 100644 --- a/README.md +++ b/README.md @@ -56,7 +56,7 @@ Also, check the [standard repository of TLA+ examples][]. ## Community -- Join the chat in the [Apalache zulip stream]. +- Discuss the use of Apalache and R&D on the [Apalache Forum][]. - [Contribute](./CONTRIBUTING.md) to the development of Apalache. ## Funding and Sponsorship @@ -163,6 +163,7 @@ Related reports and publications can be found at the [TLA-Apalache workshop]: https://github.com/informalsystems/tla-apalache-workshop [Beginner's tutorial]: https://apalache-mc.org/docs/tutorials/entry-tutorial.html [Apalache examples]: https://github.com/konnov/apalache-examples +[Apalache Forum]: https://apalache.discourse.group/ [WWTF]: https://wwtf.at/index.php?lang=EN [TU Wien]: https://www.tuwien.at/ [Inria Nancy]: https://www.inria.fr/en/inria-centre-universite-lorraine @@ -172,4 +173,4 @@ Related reports and publications can be found at the [Vienna Business Agency]: https://viennabusinessagency.at/ [Igor Konnov]: https://github.com/konnov [Jure Kukovec]: https://github.com/kukovec -[Thomas Pani]: https://github.com/thpani \ No newline at end of file +[Thomas Pani]: https://github.com/thpani