The following pages link to Jakob von Raumer (Q1687768):
Displaying 6 items.
- Homotopy type theory in Lean (Q1687770) (← links)
- Formalizing Double Groupoids and Cross Modules in the Lean Theorem Prover (Q2819195) (← links)
- The Lean Theorem Prover (System Description) (Q3454108) (← links)
- Coherence via Well-Foundedness (Q5145671) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Path spaces of higher inductive types in homotopy type theory (Q6654472) (← links)
