Jakob von Raumer
From MaRDI portal
Person:1687768
Available identifiers
zbMath Open von-raumer.jakobMaRDI QIDQ1687768
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| 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 | 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Jakob von Raumer
