| 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 | 462 | 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 | 50 | 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 |
| The Lean theorem prover L de Moura, S Kong, J Avigad, F Van Doorn, J von Raumer | 30 | 2015 |
| Homotopy type theory in Lean F van Doorn, J von Raumer, U Buchholtz Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 28 | 2017 |
| On the formalization of higher inductive types and synthetic homotopy theory F van Doorn arXiv preprint arXiv:1808.10690, 2018 | 26 | 2018 |
| Maintaining a library of formal mathematics F van Doorn, G Ebner, RY Lewis Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020 | 22 | 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 |
| 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 | 16 | 2020 |
| Formalized Haar Measure F van Doorn arXiv preprint arXiv:2102.07636, 2021 | 9 | 2021 |
| A Formalization of Forcing and the Unprovability of the Continuum Hypothesis JM Han, F van Doorn arXiv preprint arXiv:1904.10570, 2019 | 6 | 2019 |
| 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 | 5 | 2019 |
| Propositional Calculus in Coq F van Doorn arXiv preprint arXiv:1503.08744, 2015 | 5 | 2015 |
| The structural theory of pure type systems C Roux, F van Doorn Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA …, 2014 | 5 | 2014 |
| The sphere eversion project P Massot, O Nash, F van Doorn | 3 | 2022 |
| 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 | 2 | 2020 |
| 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 |
| 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 | | 2023 |
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
