From f5c63f8f44e7b485bdcc2b6fb73652921c1365ce Mon Sep 17 00:00:00 2001
From: Joseph Tooby-Smith <72603918+jstoobysmith@users.noreply.github.com>
Date: Thu, 2 May 2024 15:25:35 -0400
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 29e219b..7291672 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
 # High Energy Physics in Lean
 
+A project to digitalize high energy physics.
+
 ## Aims of this project
 
 - Use Lean to create a exhaustive database of definitions, theorems, proofs and calculations in high energy physics.