GitHub repository: peterlefanulumsdaine/cartmell-thesis
Primary language: TeX
Description: HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”