Floris van Doorn

Available identifiers

zbMath Open van-doorn.florisMaRDI 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Floris van Doorn