logrel-coq
by CoqHott
Coqpushed almost 2 years ago
Logical Relation for MLTT in Coq
AI summary
Logical relation
Formalisation of a logical relation over MLTT with one universe in Coq
- stars
- 20
- forks
- 3
- watching
- 1
by CoqHott
Logical Relation for MLTT in Coq
AI summary
Logical relation
Formalisation of a logical relation over MLTT with one universe in Coq