From b913aa67748f361560f482567ee631e3ce3f15ba Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Fri, 6 Sep 2024 17:36:04 +0200 Subject: [PATCH 1/2] Update README.md Add a link to the discourse forum --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index fc0b76c80e..c13c9230fe 100644 --- a/README.md +++ b/README.md @@ -56,6 +56,7 @@ Also, check the [standard repository of TLA+ examples][]. ## Community +- Discuss the use of Apalache and R&D on the [Apalache Forum][]. - Join the chat in the [Apalache zulip stream]. - [Contribute](./CONTRIBUTING.md) to the development of Apalache. @@ -163,6 +164,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 +174,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 From 87ed25ceb1ceb5a888b6eaff841dce8e926a1e06 Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Fri, 6 Sep 2024 18:43:19 +0200 Subject: [PATCH 2/2] Update README.md --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index c13c9230fe..893c9b36df 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,6 @@ Also, check the [standard repository of TLA+ examples][]. ## Community - Discuss the use of Apalache and R&D on the [Apalache Forum][]. -- Join the chat in the [Apalache zulip stream]. - [Contribute](./CONTRIBUTING.md) to the development of Apalache. ## Funding and Sponsorship