GitHub repository: CoqHott/logrel-coq
Primary language: Coq
Description: Logical Relation for MLTT in Coq