# nLab Floris van Doorn

## Projects

Formalization of spectral sequences in Lean-HotT? is in

category: people

Last revised on January 8, 2019 at 11:19:57. See the history of this page for a list of all contributions to it.