Floris van Doorn

Available identifiers

zbMath Open van-doorn.florisWikidataQ103211496 ScholiaQ103211496MaRDI QIDQ1687767

List of research outcomes

Publication	Date of Publication	Type
Formalized Haar Measure	2023-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q5875427	2023-02-03	Paper
Designing a general library for convolutions	2022-10-14	Paper
Formalising the $h$-principle and sphere eversion	2022-10-14	Paper
A Formal Proof of the Independence of the Continuum Hypothesis	2021-02-04	Paper
Sequential Colimits in Homotopy Type Theory	2021-01-21	Paper
Maintaining a library of formal mathematics	2021-01-20	Paper
Higher Groups in Homotopy Type Theory	2021-01-20	Paper
A formalization of forcing and the unprovability of the continuum hypothesis	2019-04-23	Paper
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory	2018-08-31	Paper
Homotopy type theory in Lean	2018-01-04	Paper
Constructing the Propositional Truncation using Non-recursive HITs	2015-12-07	Paper
The Lean Theorem Prover (System Description)	2015-12-02	Paper
Propositional Calculus in Coq	2015-03-30	Paper
The Structural Theory of Pure Type Systems	2014-07-24	Paper

Research outcomes over time

This page was built for person: Floris van Doorn