From 6a39a3c8404e8e7ab512360f87cfb09b6f813fd0 Mon Sep 17 00:00:00 2001
From: Moritz Firsching <firsching@google.com>
Date: Fri, 1 Nov 2024 09:24:10 +0100
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index e53651a..3006d25 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,11 @@
 # Formal BOOK
 
+> 🚀 **Pull Requests Welcome!** 🎉
+> 
+> We warmly welcome contributions from everyone.
+> No experience is necessary, and partial proofs help with LaTex are appreciated!
+
+
 A collaborative, work-in-progress attempt to formalize [Proofs from THE BOOK](https://link.springer.com/book/10.1007/978-3-662-57265-8) using [Lean4](https://leanprover.github.io/lean4/doc/whatIsLean.html).