VinaLx/dependent-polymorphic-subtyping

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

Coq