Æȷοì
Floris van Doorn
Floris van Doorn
University of Paris-Saclay
universite-paris-saclay.frÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
6392015
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
612018
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
Maintaining a library of formal mathematics
F van Doorn, G Ebner, RY Lewis
International Conference on Intelligent Computer Mathematics, 251-267, 2020
302020
Homotopy type theory in Lean
F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 ¡¦, 2017
302017
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
242020
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
72023
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20