CertiKOS / coqrelLinks

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

Alternatives and similar repositories for coqrel

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

Sorting: