Learn X in Y minutes where X=Coq

0 stars0 forks0 contributors

Overview

Whirlwind tour of Coq as a language

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Created

Tricks you wish the Coq manual told you [maintainer=@tchajed]

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

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

proof script associated to tutorial material