Follow
Floris van Doorn
Floris van Doorn
University of Paris-Saclay
Verified email at universite-paris-saclay.fr - Homepage
Title
Cited by
Cited by
Year
The Lean theorem prover (system description)
L De Moura, S Kong, J Avigad, F Van Doorn, J von Raumer
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
6562015
Higher groups in homotopy type theory
U Buchholtz, F van Doorn, E Rijke
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
642018
Constructing the propositional truncation using non-recursive hits
F Doorn
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
372016
On the formalization of higher inductive types and synthetic homotopy theory
F Van Doorn
arXiv preprint arXiv:1808.10690, 2018
352018
Homotopy type theory in Lean
F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
312017
Maintaining a library of formal mathematics
F van Doorn, G Ebner, RY Lewis
International Conference on Intelligent Computer Mathematics, 251-267, 2020
302020
A formal proof of the independence of the continuum hypothesis
JM Han, F van Doorn
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
252020
Explicit convertibility proofs in pure type systems
F van Doorn, H Geuvers, F Wiedijk
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013
222013
Formalized Haar Measure
F van Doorn
arXiv preprint arXiv:2102.07636, 2021
102021
Formalising the h-principle and sphere eversion
F van Doorn, P Massot, O Nash
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
82023
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis
JM Han, F van Doorn
arXiv preprint arXiv:1904.10570, 2019
72019
Sequential colimits in homotopy type theory
K Sojakova, F Doorn, E Rijke
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
62020
A formalization of forcing and the consistency of the failure of the continuum hypothesis
J Han, F van Doorn
International Conference on Interactive Theorem Proving. Springer, Heidelberg 10, 2019
62019
Propositional Calculus in Coq
F van Doorn
arXiv preprint arXiv:1503.08744, 2015
62015
The structural theory of pure type systems
C Roux, F van Doorn
International Conference on Rewriting Techniques and Applications, 364-378, 2014
62014
The sphere eversion project
P Massot, O Nash, F van Doorn
32023
Formalising the -principle and sphere eversion
P Massot, F van Doorn, O Nash
arXiv preprint arXiv:2210.07746, 2022
32022
The Lean mathematical library
mathlib Community.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
22020
Progress on a perimeter surveillance problem
J Avigad, F van Doorn
2021 IEEE International Conference on Autonomous Systems (ICAS), 1-5, 2021
12021
The Lean Theorem Prover
J Avigad
Microsoft Research, Carnegie Mellon University, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20