Floris van Doorn

According to our database, Floris van Doorn authored at least 17 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Integrals Within Integrals: A Formalization of the Gagliardo-Nirenberg-Sobolev Inequality.

Floris van Doorn, Heather Macbeth

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Formalising the h-Principle and Sphere Eversion.

Floris van Doorn, Patrick Massot, Oliver Nash

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Designing a general library for convolutions.

Floris van Doorn

CoRR, 2022

2021

Formalized Haar Measure.

Floris van Doorn

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Progress on a perimeter surveillance problem.

Jeremy Avigad, Floris van Doorn

CoRR, 2020

Maintaining a Library of Formal Mathematics.

Floris van Doorn, Gabriel Ebner, Robert Y. Lewis

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Sequential Colimits in Homotopy Type Theory.

Kristina Sojakova, Floris van Doorn, Egbert Rijke

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

A formal proof of the independence of the continuum hypothesis.

Jesse Michael Han, Floris van Doorn

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

A Formalization of Forcing and the Unprovability of the Continuum Hypothesis.

Jesse Michael Han, Floris van Doorn

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory.

Floris van Doorn

CoRR, 2018

Higher Groups in Homotopy Type Theory.

Ulrik Buchholtz, Floris van Doorn, Egbert Rijke

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Homotopy Type Theory in Lean.

Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

Constructing the propositional truncation using non-recursive HITs.

Floris van Doorn

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

Propositional Calculus in Coq.

Floris van Doorn

CoRR, 2015

The Lean Theorem Prover (System Description).

Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

Proceedings of the Automated Deduction - CADE-25, 2015

2014

The Structural Theory of Pure Type Systems.

Cody Roux, Floris van Doorn

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Explicit convertibility proofs in pure type systems.

Floris van Doorn, Herman Geuvers, Freek Wiedijk

Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013