From e8cb6169ecfd9361d94f4219bd84435db8ca99a5 Mon Sep 17 00:00:00 2001
From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com>
Date: Mon, 22 Apr 2024 07:01:50 -0400
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 500ce5a..afd74d2 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 ## Aims of this project
 
-- Use Lean to create a database of definitions, theorems and proofs in high energy physics.
+- Use Lean to create a exhaustive database of definitions, theorems, proofs and calculations 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.