Jakob von Raumer

14 papers A* 2A 1B 2Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	A rewriting coherence theorem with applications in homotopy type theory. Math. Struct. Comput. Sci. Nicolai Kraus, Jakob von Raumer
2021	J	`jnl`	A Rewriting Coherence Theorem with Applications in Homotopy Type Theory. CoRR Nicolai Kraus, Jakob von Raumer
2020	B	`conf`	A Syntax for Mutual Inductive Families. FSCD Ambrus Kaposi, Jakob von Raumer
2020	A*	`conf`	Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. LICS Nicolai Kraus, Jakob von Raumer
2020	J	`jnl`	Coherence via Wellfoundedness. CoRR Nicolai Kraus, Jakob von Raumer
2020	—	`—`	Higher inductive types, inductive families, and inductive-inductive types. Jakob von Raumer
2019	A*	`conf`	Path Spaces of Higher Inductive Types in Homotopy Type Theory. LICS Nicolai Kraus, Jakob von Raumer
2019	J	`jnl`	Path Spaces of Higher Inductive Types in Homotopy Type Theory. CoRR Nicolai Kraus, Jakob von Raumer
2017	B	`conf`	Homotopy Type Theory in Lean. ITP Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz
2017	J	`jnl`	Homotopy Type Theory in Lean. CoRR Ulrik Buchholtz, Floris van Doorn, Jakob von Raumer
2016	—	`conf`	Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover. ICMS Jakob von Raumer
2015	A	`conf`	The Lean Theorem Prover (System Description). CADE Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
2014	J	`jnl`	Secondary Sylow Theorems. Arch. Formal Proofs Jakob von Raumer
2014	J	`jnl`	The Jordan-Hölder Theorem. Arch. Formal Proofs Jakob von Raumer