Jakob von Raumer
Jakob von Raumer
University of Nottingham
Bestätigte E-Mail-Adresse bei von-raumer.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The Lean theorem prover (system description)
L de Moura, S Kong, J Avigad, F Van Doorn, J von Raumer
International Conference on Automated Deduction, 378-388, 2015
2412015
Homotopy type theory in Lean
F van Doorn, J von Raumer, U Buchholtz
International Conference on Interactive Theorem Proving, 479-495, 2017
252017
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
82019
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
42015
A syntax for mutual inductive families
A Kaposi, J von Raumer
5th International Conference on Formal Structures for Computation and …, 2020
32020
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
12020
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
12018
Formalizing double groupoids and cross modules in the lean theorem prover
J von Raumer
International Congress on Mathematical Software, 28-33, 2016
12016
Higher Inductive Types, Inductive Families, and Inductive-Inductive Types
J von Raumer
2019
The Jordan-Hölder Theorem
J Von Raumer
2016
An Induction Principle for Cycles
N Kraus, J von Raumer
EUTYPES-TYPES 2020-Abstracts, 0
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11