GitHub repository: CoqHott/logrel-mltt
Primary language: HTML
Description: A Logical Relation for Martin-Löf Type Theory in Agda