nLab Floris van Doorn

Selected writings

On higher inductive types and (Atiyah-Hirzebruch-/Serre-)spectral sequences in homotopy type theory formalized in Lean (cf. cohomology in homotopy type theory and spectral sequences in homotopy type theory):

On \infty -groups formalized in homotopy type theory:

category: people

Last revised on February 2, 2023 at 14:00:07. See the history of this page for a list of all contributions to it.