forcing on the cube category to realize univalence
Primary LanguageCoq
No issues in this repository yet.