mr-ohman / logrel-mltt

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

mr-ohman/logrel-mltt Stargazers