Floris van Doorn

Formalization of spectral sequences in Lean-HotT? is in

- Floris van Doorn,
*Spectral*(github.com/cmu-phil/Spectral)

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.