diff --git a/README.md b/README.md index ad3bd5b..d676074 100644 --- 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