CoqHott / logrel-coqLinks

Logical Relation for MLTT in Coq
25Updated this week

Alternatives and similar repositories for logrel-coq

Users that are interested in logrel-coq are comparing it to the libraries listed below

Sorting: