/lCsystems

Voevodsky's work on C-systems, transferred from his github account

Primary LanguageCoq

Watchers