/dot-calculus

Formalization of the Dependent Object Types (DOT) calculus

Primary LanguageCoq

Watchers