Voevodsky's work on C-systems, transferred from his github account
Primary LanguageCoq
This repository is not active