diff --git a/README.md b/README.md
index cd3da9c..6ad42bd 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Spectral Sequences
+# Spectral Sequences in Homotopy Type Theory
 
 Formalization project of the CMU HoTT group to formalize the Serre spectral sequence.