GitHub repository: DanGrayson/VV-C-system-from-a-monad
Primary language: TeX
Description: This repository contains various versions of Voevodsky's paper "C-system of a module over a Jf-relative monad"