/minidot

Dependent Object Types (DOT), bottom up

Primary LanguageCoq

Watchers

No one’s watching this repository yet.