/logrel-coq

Logical Relation for MLTT in Coq

Primary LanguageCoq

No issues in this repository yet.