Coq in a Hurry

0 stars0 forks0 contributors

Overview

Introduction to how Coq can be used to define logical concepts and functions and reason about them

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]

Basics of using Coq to write formal proofs

Guide on how to write readable and reviewable Coq code in high assurance applications