/minidot

Dependent Object Types (DOT), bottom up

Primary LanguageCoq

No issues in this repository yet.