diff --git a/README.md b/README.md
index fe5753d..5fc3428 100644
--- a/README.md
+++ b/README.md
@@ -4,9 +4,11 @@ Formalization project of the CMU HoTT group towards formalizing the Serre spectr
 
 Currently in the project: Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Egbert Rijke, Mike Shulman.
 
-## Things to do for Lean spectral sequences project
+## Resources
+- We learned about the Serre spectral sequence from [Hatcher's chapter about spectral sequences](https://www.math.cornell.edu/~hatcher/SSAT/SSATpage.html).
+- Lang's algebra (revised 3rd edition) contains a chapter on general homology theory, with a section on spectral sequences. Thus, we can use this book at least as an outline for the algebraic part of the project.
 
-Lang's algebra (revised 3rd edition) contains a chapter on general homology theory, with a section on spectral sequences. Thus, we can use this book at least as an outline for the algebraic part of the project.
+## Things to do for Lean spectral sequences project
 
 ###To Do:
 - R-modules, vector spaces,