nLab Author — Floris van Doorn

Overview

Floris van Doorn has contributed to 4 nLab pages.

Most recent contributions

Lean	14:47:45, July 07 2023
Floris van Doorn	15:26:32, September 17 2018
homotopy group of a spectrum	15:09:12, July 02 2018
higher inductive type	19:18:30, December 07 2015

All pages contributed to