Jakob von Raumer

According to our database, Jakob von Raumer authored at least 11 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

A rewriting coherence theorem with applications in homotopy type theory.

Nicolai Kraus, Jakob von Raumer

Math. Struct. Comput. Sci., August, 2022

2020

Higher inductive types, inductive families, and inductive-inductive types.

Jakob von Raumer

PhD thesis, 2020

Coherence via Wellfoundedness.

Nicolai Kraus, Jakob von Raumer

CoRR, 2020

Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory.

Nicolai Kraus, Jakob von Raumer

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

A Syntax for Mutual Inductive Families.

Ambrus Kaposi, Jakob von Raumer

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Path Spaces of Higher Inductive Types in Homotopy Type Theory.

Nicolai Kraus, Jakob von Raumer

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2017

Homotopy Type Theory in Lean.

Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2016

Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover.

Jakob von Raumer

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

The Lean Theorem Prover (System Description).

Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

Proceedings of the Automated Deduction - CADE-25, 2015

2014

The Jordan-Hölder Theorem.

Jakob von Raumer

Arch. Formal Proofs, 2014

Secondary Sylow Theorems.

Jakob von Raumer

Arch. Formal Proofs, 2014