From e34fba2027a03ebf1329692704baa51ab9cdd2c7 Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpv@andrew.cmu.edu>
Date: Wed, 31 Jan 2018 13:21:42 -0500
Subject: [PATCH] change title in README

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.