CertiKOS / coqrelLinks

Binary logical relations library for the Coq proof assistant
21Updated 7 months ago

Alternatives and similar repositories for coqrel

Users that are interested in coqrel are comparing it to the libraries listed below

Sorting: