/logrel-coq

Logical Relation for MLTT in Coq

Primary LanguageCoq

Watchers