nLab
Floris van Doorn

Projects

Formalization of spectral sequences in Lean-HotT? is in

category: people