Add the Discord and SO links

Author: Adam Fiedler

index.md

@@ -200,6 +200,13 @@ verification approach:
   OOPSLA, 2012.
   - This paper presents a verification framework that is parametric in a (trusted) operational semantics of some programming language. The underlying proof system is language-independent and consists of eight proof rules. The proof system is proved partially correct and relatively complete (with respect to the programming language configuration model). To show its practicality, the generic framework is instantiated with a fragment of C and evaluated with encouraging results.
 
+## Community
+
+There is no official place to discuss matching logic. Here we list the options that we are trying to follow.
+
+- [Discord channel](https://discord.com/channels/824582698147905556/1095987253978873927) (hosted by [Runtime Verification Inc.](https://runtimeverification.com/)): for interactive discussions about matching logic.
+
+- [Stackoverflow](https://stackoverflow.com/questions/tagged/matching-logic): for general questions.
 
 ## Related Links