# Spectral

Formalization project of the CMU HoTT group towards formalizing the Serre spectral sequence.