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

---
 README.md | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/README.md b/README.md
index 41b13d8..6120cbb 100644
--- a/README.md
+++ b/README.md
@@ -1,24 +1,22 @@
 # High Energy Physics in Lean
 
-Aim of this project: 
+## Aims of this project
 
 - Use Lean to create a database of definitions, theorems and proofs in high energy physics.
 - Keep the database up-to date with developments in MathLib4. 
 - Create github workflows of relevence to the high energy physics community. 
 
-The documentation for this project can be found at:
+## Where to learn more 
 
-https://heplean.github.io/HepLean/
-
-To learn more about this project see: 
-
-https://leanprover.zulipchat.com/#narrow/stream/395462-Natural-sciences/topic/Anomaly.20cancellation.20conditions
+- 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 
 
 We follow here the same contribution policies as MathLib4. If you want permission to create a pull-request for this repository contact Joseph Tooby-Smith on the lean Zulip, or email. 
 
-
 ## Installation
 
 ### Installing Lean 4