peterlefanulumsdaine / cartmell-thesisLinks

HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
15Updated 2 years ago

Alternatives and similar repositories for cartmell-thesis

Users that are interested in cartmell-thesis are comparing it to the libraries listed below

Sorting: