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
648 2015 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
63 2018 Constructing the propositional truncation using non-recursive hits F Doorn
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
37 2016 On the formalization of higher inductive types and synthetic homotopy theory F Van Doorn
arXiv preprint arXiv:1808.10690, 2018
35 2018 Homotopy type theory in Lean F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
31 2017 Maintaining a library of formal mathematics F van Doorn, G Ebner, RY Lewis
International Conference on Intelligent Computer Mathematics, 251-267, 2020
30 2020 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
25 2020 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
22 2013 Formalized Haar Measure F van Doorn
arXiv preprint arXiv:2102.07636, 2021
10 2021 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
8 2023 A Formalization of Forcing and the Unprovability of the Continuum Hypothesis JM Han, F van Doorn
arXiv preprint arXiv:1904.10570, 2019
7 2019 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
6 2020 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
6 2019 Propositional Calculus in Coq F van Doorn
arXiv preprint arXiv:1503.08744, 2015
6 2015 The structural theory of pure type systems C Roux, F van Doorn
International Conference on Rewriting Techniques and Applications, 364-378, 2014
6 2014 The sphere eversion project P Massot, O Nash, F van Doorn
3 2023 Formalising the -principle and sphere eversion P Massot, F van Doorn, O Nash
arXiv preprint arXiv:2210.07746, 2022
3 2022 The Lean mathematical library mathlib Community.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
2 2020 Progress on a perimeter surveillance problem J Avigad, F van Doorn
2021 IEEE International Conference on Autonomous Systems (ICAS), 1-5, 2021
1 2021 The Lean Theorem Prover J Avigad
Microsoft Research, Carnegie Mellon University, 2017
1 2017