From 0f762059fe21d6cc1541845bea399621f1310542 Mon Sep 17 00:00:00 2001 From: Egbert Rijke Date: Fri, 4 Dec 2015 11:57:56 -0500 Subject: [PATCH] Update README.md --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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,