rocq-archive / coq-in-coqLinks

A formalisation of the Calculus of Constructions
69Updated 10 months ago

Alternatives and similar repositories for coq-in-coq

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

Sorting: