/logrel-coq

Logical Relation for MLTT in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers