rocq-community / coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
117Updated last month

Alternatives and similar repositories for coq-art:

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