Categories Alternatives Stacks Self-Hosted Explore

© 2026 Open-Awesome. Curated for the developer elite.

Terms Privacy About GitHub RSS

Coq'Art | Open Awesome

Home
Coq
Coq'Art

Coq'Art

Visit Website GitHub

0 stars0 forks0 contributors

Overview

The first book dedicated to Coq

Quick Stats

Stars0

Forks0

Contributors0

Open Issues0

Last commit

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

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

Submit a project Star on GitHub

Created

Links & Resources

Included in

Modeling and Proving in Computational Type Theory

Modeling and Proving in Computational Type Theory

Last commit11 days ago

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Last commit1 year ago

Certified Programming with Dependent Types

Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof

Formal Reasoning About Programs

Book that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose