michael/Spectral
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

change title in README

Browse source
This commit is contained in:
Floris van Doorn 2018-01-31 13:21:42 -05:00
parent fbad62541b
commit e34fba2027
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -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.