Development of the univalent foundations of mathematics in Coq
Primary LanguageCoq
No issues in this repository yet.