formalization of the Dependent Object Types (DOT) calculus
Primary LanguageCoq
No issues in this repository yet.