Jakob von Raumer

According to our database, Jakob von Raumer authored at least 7 papers between 2015 and 2020.

Collaborative distances:

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

2020

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

Jakob von Raumer

PhD thesis, 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