Update README.md

a16z · Mar 10, 2023 · 2049e03 · 2049e03
1 parent 8468235
commit 2049e03
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -13,7 +13,10 @@ _Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode_
 
 For more information, refer to our post on "_[Symbolic testing with Halmos: Leveraging existing tests for formal verification][post]_."
 
+Join the [Halmos Telegram Group][chat] for any inquiries or further discussions.
+
 [post]: <https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/>
+[chat]: <https://t.me/+4UhzHduai3MzZmUx>
 
 ## Installation