Jakob von Raumer

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 11

Top Topics

Presburger Arithmetic

Theoretical Framework

Top Venues

Arch. Formal Proofs

Publications

Nicolai Kraus, Jakob von Raumer
A rewriting coherence theorem with applications in homotopy type theory. Math. Struct. Comput. Sci. 32 (7) (2022)
Nicolai Kraus, Jakob von Raumer
A Rewriting Coherence Theorem with Applications in Homotopy Type Theory. CoRR (2021)
Ambrus Kaposi, Jakob von Raumer
A Syntax for Mutual Inductive Families. FSCD (2020)
Nicolai Kraus, Jakob von Raumer
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. LICS (2020)
Nicolai Kraus, Jakob von Raumer
Coherence via Wellfoundedness. CoRR (2020)
Nicolai Kraus, Jakob von Raumer
Path Spaces of Higher Inductive Types in Homotopy Type Theory. CoRR (2019)
Nicolai Kraus, Jakob von Raumer
Path Spaces of Higher Inductive Types in Homotopy Type Theory. LICS (2019)
Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz
Homotopy Type Theory in Lean. ITP (2017)
Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer
Homotopy Type Theory in Lean. CoRR (2017)
Jakob von Raumer
Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover. ICMS (2016)
Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
The Lean Theorem Prover (System Description). CADE (2015)
Jakob von Raumer
The Jordan-Hölder Theorem. Arch. Formal Proofs 2014 (2014)
Jakob von Raumer
Secondary Sylow Theorems. Arch. Formal Proofs 2014 (2014)