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
755 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
67 2018 On the formalization of higher inductive types and synthetic homotopy theory F Van Doorn
arXiv preprint arXiv:1808.10690, 2018
38 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 Maintaining a library of formal mathematics F van Doorn, G Ebner, RY Lewis
International Conference on Intelligent Computer Mathematics, 251-267, 2020
35 2020 Homotopy type theory in Lean F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
33 2017 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
28 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
21 2013 Formalized Haar Measure F van Doorn
arXiv preprint arXiv:2102.07636, 2021
12 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
10 2023 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
9 2020 A Formalization of Forcing and the Unprovability of the Continuum Hypothesis JM Han, F van Doorn
arXiv preprint arXiv:1904.10570, 2019
7 2019 Propositional Calculus in Coq F van Doorn
arXiv preprint arXiv:1503.08744, 2015
7 2015 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 The structural theory of pure type systems C Roux, F van Doorn
International Conference on Rewriting Techniques and Applications, 364-378, 2014
6 2014 Formalising the P Massot, F van Doorn, O Nash
arXiv preprint arXiv:2210.07746, 2022
4 2022 The sphere eversion project P Massot, O Nash, F van Doorn
3 2024 The Lean mathematical library mathlib Community.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
2 2020 Carleson operators on doubling metric measure spaces L Becker, F van Doorn, A Jamneshan, R Srivastava, C Thiele
arXiv preprint arXiv:2405.06423, 2024
1 2024 Progress on a perimeter surveillance problem J Avigad, F van Doorn
2021 IEEE International Conference on Autonomous Systems (ICAS), 1-5, 2021
1 2021 
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityBestätigte E-Mail-Adresse bei cmu.edu
