Floris van Doorn

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Integrals within integrals: a formalization of the Gagliardo-Nirenberg-Sobolev inequality	2026-02-10	Paper
Formalized Haar Measure (available as arXiv preprint)	2023-06-20	Paper
scientific article; zbMATH DE number 7649968 (Why is no real title available?) (available as arXiv preprint)	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 Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Maintaining a library of formal mathematics (available as arXiv preprint)	2021-01-20	Paper
Higher groups in homotopy type theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
A formalization of forcing and the unprovability of the continuum hypothesis (available as arXiv preprint)	2019-04-23	Paper
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory	2018-08-31	Paper
Homotopy type theory in Lean (available as arXiv preprint)	2018-01-04	Paper
Constructing the Propositional Truncation using Non-recursive HITs	2015-12-07	Paper
The Lean theorem prover (system description) Automated Deduction - CADE-25	2015-12-02	Paper
Propositional Calculus in Coq	2015-03-30	Paper
The structural theory of pure type systems Lecture Notes in Computer Science	2014-07-24	Paper

Research outcomes over time

This page was built for person: Floris van Doorn