From 77b7abb438c0eb76b6cfe7050f0e492965cb3699 Mon Sep 17 00:00:00 2001
From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com>
Date: Sun, 21 Apr 2024 16:59:00 -0400
Subject: [PATCH] Update README.md

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 6120cbb..500ce5a 100644
--- a/README.md
+++ b/README.md
@@ -9,8 +9,10 @@
 ## Where to learn more 
 
 - The documentation for this project is at: 
+
   https://heplean.github.io/HepLean/
 - Feel free to connect on the Lean Zulip channel: 
+
   https://leanprover.zulipchat.com
 
 ## Contributing