Mike Nahas's Coq Tutorial

0 stars0 forks0 contributors

Overview

Basics of using Coq to write formal proofs

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]

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

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