Floris van Doorn

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 18

Top Topics

Propositional Calculus

Mathematical Knowledge

Top Venues

Publications

Floris van Doorn, Patrick Massot, Oliver Nash
Formalising the h-Principle and Sphere Eversion. CPP (2023)
Patrick Massot, Floris van Doorn, Oliver Nash
Formalising the h-principle and sphere eversion. CoRR (2022)
Floris van Doorn
Designing a general library for convolutions. CoRR (2022)
Floris van Doorn
Formalized Haar Measure. ITP (2021)
Floris van Doorn
Formalized Haar Measure. CoRR (2021)
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
Maintaining a Library of Formal Mathematics. CICM (2020)
Jeremy Avigad, Floris van Doorn
Progress on a perimeter surveillance problem. CoRR (2020)
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
Maintaining a Library of Formal Mathematics. CoRR (2020)
Kristina Sojakova, Floris van Doorn, Egbert Rijke
Sequential Colimits in Homotopy Type Theory. LICS (2020)
Jesse Michael Han, Floris van Doorn
A formal proof of the independence of the continuum hypothesis. CPP (2020)
Jesse Michael Han, Floris van Doorn
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis. ITP (2019)
Jesse Michael Han, Floris van Doorn
A formalization of forcing and the unprovability of the continuum hypothesis. CoRR (2019)
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
Higher Groups in Homotopy Type Theory. LICS (2018)
Floris van Doorn
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory. CoRR (2018)
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
Higher Groups in Homotopy Type Theory. CoRR (2018)
Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz
Homotopy Type Theory in Lean. ITP (2017)
Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer
Homotopy Type Theory in Lean. CoRR (2017)
Floris van Doorn
Constructing the propositional truncation using non-recursive HITs. CPP (2016)
Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
The Lean Theorem Prover (System Description). CADE (2015)
Floris van Doorn
Propositional Calculus in Coq. CoRR (2015)
Cody Roux, Floris van Doorn
The Structural Theory of Pure Type Systems. RTA-TLCA (2014)
Floris van Doorn, Herman Geuvers, Freek Wiedijk
Explicit convertibility proofs in pure type systems. LFMTP (2013)