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 | 759 | 2015 |
Homotopy type theory in Lean F van Doorn, J von Raumer, U Buchholtz Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 33 | 2017 |
Path spaces of higher inductive types in homotopy type theory N Kraus, J von Raumer 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 25 | 2019 |
Coherence via well-foundedness: Taming set-quotients in homotopy type theory N Kraus, J Von Raumer Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 13* | 2020 |
A rewriting coherence theorem with applications in homotopy type theory N Kraus, J von Raumer Mathematical Structures in Computer Science 32 (7), 982-1014, 2022 | 6 | 2022 |
A syntax for mutual inductive families A Kaposi, J von Raumer Schloss Dagstuhl--Leibniz-Zentrum für Informatik 167, 23, 2020 | 6 | 2020 |
Formalization of non-abelian topology for homotopy type theory J von Raumer, S Awodey, F Herrlich MA thesis. Karlsruhe Institute of Technology, 2015. url: http://vonraumer …, 2015 | 4 | 2015 |
Reducing inductive-inductive types to indexed inductive types T Altenkirch, A Kaposi, A Kovács, J von Raumer 24th International Conference on Types for Proofs and Programs, TYPES, 2018 | 3 | 2018 |
Higher inductive types, inductive families, and inductive-inductive types. J von Raumer University of Nottingham, 2020 | 2 | 2020 |
The Jordan-Hölder Theorem J von Raumer | 1 | 2016 |
Formalizing double groupoids and cross modules in the lean theorem prover J von Raumer Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016 | 1 | 2016 |
Clara Löh: Exploring Formalisation. A primer in human-readable mathematics in Lean 3 with examples from simplicial topology: Surveys and Tutorials in the Applied Mathematical … J von Raumer Mathematische Semesterberichte 71 (1), 97-99, 2024 | | 2024 |
An Induction Principle for Cycles N Kraus, J von Raumer EUTYPES-TYPES 2020-Abstracts, 0 | | |