Formalization of a model structure on the universe of Types in Coq
Primary LanguageCoq
No issues in this repository yet.