From afb5016d222fc931000c388e00a7379b5b31e3a0 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Thu, 16 May 2024 10:21:49 -0400
Subject: [PATCH] doc: Update README with contribution

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 651f908..a0a1ee1 100644
--- a/README.md
+++ b/README.md
@@ -33,6 +33,8 @@ A project to digitalize high energy physics.
 
 We follow here roughly the same contribution policies as MathLib4 (which can be found [here](https://leanprover-community.github.io/contribute/index.html)). 
 
+A guide to contributing can be found [here](https://github.com/HEPLean/HepLean/blob/master/CONTRIBUTING.md).
+
 If you want permission to create a pull-request for this repository contact Joseph Tooby-Smith on the lean Zulip, or email. 
 
 ## Installation
@@ -43,7 +45,7 @@ See: https://leanprover-community.github.io/get_started.html
 
 ### Quick installation 
 
-- clone this repository
+- Clone this repository
 - Open a terminal in the corresponding directory.
 - Run `lake exe cache get`.
 - Rune `lake build`.