Floris van Doorn

24 papers A* 2A 1B 7C 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.
CoRR
Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng
2024 B conf
Integrals Within Integrals: A Formalization of the Gagliardo-Nirenberg-Sobolev Inequality.
ITP
Floris van Doorn, Heather Macbeth
2023 B conf
Formalising the h-Principle and Sphere Eversion.
CPP
Floris van Doorn, Patrick Massot, Oliver Nash
2022 J jnl
Designing a general library for convolutions.
CoRR
Floris van Doorn
2022 J jnl
Formalising the h-principle and sphere eversion.
CoRR
Patrick Massot, Floris van Doorn, Oliver Nash
2021 B conf
Formalized Haar Measure.
ITP
Floris van Doorn
2021 J jnl
Formalized Haar Measure.
CoRR
Floris van Doorn
2020 B conf
A formal proof of the independence of the continuum hypothesis.
CPP
Jesse Michael Han, Floris van Doorn
2020 C conf
Maintaining a Library of Formal Mathematics.
CICM
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
2020 J jnl
Maintaining a Library of Formal Mathematics.
CoRR
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
2020 J jnl
Progress on a perimeter surveillance problem.
CoRR
Jeremy Avigad, Floris van Doorn
2020 A* conf
Sequential Colimits in Homotopy Type Theory.
LICS
Kristina Sojakova, Floris van Doorn, Egbert Rijke
2019 B conf
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis.
ITP
Jesse Michael Han, Floris van Doorn
2019 J jnl
A formalization of forcing and the unprovability of the continuum hypothesis.
CoRR
Jesse Michael Han, Floris van Doorn
2018 A* conf
Higher Groups in Homotopy Type Theory.
LICS
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
2018 J jnl
Higher Groups in Homotopy Type Theory.
CoRR
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
2018 J jnl
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory.
CoRR
Floris van Doorn
2017 B conf
Homotopy Type Theory in Lean.
ITP
Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz
2017 J jnl
Homotopy Type Theory in Lean.
CoRR
Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer
2016 B conf
Constructing the propositional truncation using non-recursive HITs.
CPP
Floris van Doorn
2015 J jnl
Propositional Calculus in Coq.
CoRR
Floris van Doorn
2015 A conf
The Lean Theorem Prover (System Description).
CADE
Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
2014 — conf
The Structural Theory of Pure Type Systems.
RTA-TLCA
Cody Roux, Floris van Doorn
2013 — conf
Explicit convertibility proofs in pure type systems.
LFMTP
Floris van Doorn, Herman Geuvers, Freek Wiedijk