coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
130Updated 3 months ago

Alternatives and similar repositories for coq-ext-lib:

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