Jakob von Raumer
Identifiers
No identifiers captured yet.
Papers (2)
- Path Spaces of Higher Inductive Types in Homotopy Type Theory math.LO · 2019 · author #2
- Homotopy Type Theory in Lean cs.LO · 2017 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Floris van Doorn 1 shared papers
- Nicolai Kraus 1 shared papers
- Ulrik Buchholtz 1 shared papers