diff --git a/README.md b/README.md
index 31c6ee0..5bafbf6 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,4 @@
 # Spectral
-Edit me.
+
+Formalization project of the CMU HoTT group towards formalizing the Serre spectral sequence.
+