Update README.md

HEPLean · Apr 22, 2024 · 2f721b1 · 2f721b1
1 parent a6a92d0
commit 2f721b1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -11,6 +11,10 @@
 - The documentation for this project is at: 
 
   https://heplean.github.io/HepLean/
+
+- A list of 'Frequently asked questions' can be found on the Wiki for this project: 
+
+https://github.com/HEPLean/HepLean/wiki/The-answers-to-some-questions
 - Feel free to connect on the Lean Zulip channel: 
 
   https://leanprover.zulipchat.com