Update overview.md

viperproject · Dec 13, 2024 · b1d2c25 · b1d2c25
1 parent bfe6c3a
commit b1d2c25
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/overview.md b/src/overview.md
@@ -1,14 +1,16 @@
 # Overview
 
 <div class="warning">
-🚧 This book is under construction. Thus, it is very incomplete at the moment and it is likely to change significantly. 🚧
+🚧 This book is under construction. It is very incomplete at the moment and it is likely to change significantly. 🚧
 </div>
 
 This book is an online resource that teaches how to prove the correctness of your programs written in Go against a formal specification.
 We use the [Gobra](https://www.pm.inf.ethz.ch/research/gobra.html) verifier, and we exemplify it on multiple examples and exercises.
 
 If you find errors or have suggestions, please file an issue [here](https://github.com/viperproject/gobra-book/issues).
 
-If you are interested in contributing directly to the project, please refer to our [guide for contributors](https://github.com/viperproject/gobra-book/blob/main/CONTRIBUTING.md).
+If you have any questions about Gobra's features that are not yet addressed in the book, feel free to ask them on [Zulip](https://gobra.zulipchat.com/).
+
+Finally, if you are interested in contributing directly to the project, please refer to our [guide for contributors](https://github.com/viperproject/gobra-book/blob/main/CONTRIBUTING.md).