Jakob von Raumer

Available identifiers

zbMath Open von-raumer.jakobMaRDI QIDQ1687768

List of research outcomes

Publication	Date of Publication	Type
Path spaces of higher inductive types in homotopy type theory	2024-12-19	Paper
A rewriting coherence theorem with applications in homotopy type theory	2023-02-28	Paper
A Rewriting Coherence Theorem with Applications in Homotopy Type Theory	2021-07-04	Paper
Coherence via well-foundedness. Taming set-quotients in homotopy type theory	2021-01-21	Paper
Path Spaces of Higher Inductive Types in Homotopy Type Theory	2019-01-17	Paper
Homotopy type theory in Lean	2018-01-04	Paper
Formalizing double groupoids and cross modules in the Lean theorem prover	2016-09-28	Paper
The Lean theorem prover (system description)	2015-12-02	Paper

Research outcomes over time

This page was built for person: Jakob von Raumer