/logrel-mltt

A Logical Relation for Martin-Löf Type Theory in Agda

Primary LanguageHTMLMIT LicenseMIT

Stargazers