/dependent-polymorphic-subtyping

Formalization for Dependent Polymorphic Subtyping, from a sub-directory of my main working repository

Primary LanguageCoq

Watchers