Categories Alternatives Stacks Self-Hosted Explore

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

Terms Privacy About GitHub RSS

Software Foundations | Open Awesome

Home
Coq
Software Foundations

Software Foundations

Visit Website GitHub

0 stars0 forks0 contributors

Overview

Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners

Quick Stats

Stars0

Forks0

Contributors0

Open Issues0

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

Last commit

Created

Links & Resources

Included in

Modeling and Proving in Computational Type Theory

Modeling and Proving in Computational Type Theory

Last commit4 days 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

The first book dedicated to Coq