/VV-C-system-from-a-monad

This repository contains various versions of Voevodsky's paper "C-system of a module over a Jf-relative monad"

Primary LanguageTeX

Stargazers