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

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

diff --git a/README.md b/README.md
index 54af262..08f1ab4 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,7 @@
 ## Aims of this project
 
 - Use Lean to create a exhaustive database of definitions, theorems, proofs and calculations in high energy physics.
+- Make a libary that is easy to use by the high energy physics community.
 - Keep the database up-to date with developments in MathLib4. 
 - Create github workflows of relevence to the high energy physics community.