CoqHott / logrel-coqLinks

Logical Relation for MLTT in Coq
27Updated last month

Alternatives and similar repositories for logrel-coq

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

Sorting: