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