Update README.md

mo271 · Nov 1, 2024 · 6a39a3c · 6a39a3c
1 parent 869ad05
commit 6a39a3c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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).