/model-structures-Coq

Formalization of a model structure on the universe of Types in Coq

Primary LanguageCoq

Stargazers