Floris van Doorn
Floris van Doorn
Postdoc at the Mathematics Department, University of Pittsburgh
Bestätigte E-Mail-Adresse bei pitt.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The Lean theorem prover (system description)
L de Moura, S Kong, J Avigad, F Van Doorn, J von Raumer
International Conference on Automated Deduction, 378-388, 2015
2472015
Constructing the propositional truncation using non-recursive HITs
F Doorn
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
332016
Homotopy type theory in Lean
F van Doorn, J von Raumer, U Buchholtz
International Conference on Interactive Theorem Proving, 479-495, 2017
252017
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
182013
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
142018
On the formalization of higher inductive types and synthetic homotopy theory
F van Doorn
arXiv preprint arXiv:1808.10690, 2018
102018
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
42020
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis
JM Han, F van Doorn
arXiv preprint arXiv:1904.10570, 2019
32019
Propositional Calculus in Coq
F van Doorn
arXiv preprint arXiv:1503.08744, 2015
22015
The structural theory of pure type systems
C Roux, F van Doorn
Rewriting and Typed Lambda Calculi, 364-378, 2014
22014
Maintaining a Library of Formal Mathematics
F van Doorn, G Ebner, RY Lewis
arXiv preprint arXiv:2004.03673, 2020
12020
The Lean Theorem Prover
J Avigad
Microsoft Research, Carnegie Mellon University, 2014
12014
Progress on a perimeter surveillance problem
J Avigad, F van Doorn
arXiv preprint arXiv:2008.04262, 2020
2020
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
2020
Master thesis Explicit convertibility proofs in Pure Type Systems
F van Doorn
2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15