/Foundations

Voevodsky's original development of the univalent foundations of mathematics in Coq

Primary LanguageCoq

No issues in this repository yet.