peterlefanulumsdaine/cartmell-thesis
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
Developer Profile
peterlefanulumsdaine
Discovered public repositories for peterlefanulumsdaine in the GitHub catalog.
peterlefanulumsdaine/cubical
Implementation of Univalence in Cubical Sets
peterlefanulumsdaine/higher-inductive-paper
Paper in progress
peterlefanulumsdaine/hott-limits
A formalization of (homotopy) limits in Homotopy Type Theory
peterlefanulumsdaine/HoTT
Homotopy type theory
peterlefanulumsdaine/Homotopy
Homotopy theory in Coq.
peterlefanulumsdaine/Oberwolfach-explorations
collaboration on work in progress
peterlefanulumsdaine/pllthesis
Fossil record of the growth of my thesis.