Categories Alternatives Stacks Self-Hosted Explore

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

Terms Privacy About GitHub RSS

Volume 1: Logical Foundations | Open Awesome

Home
Coq
Volume 1: Logical Foundations

Volume 1: Logical Foundations

Visit Website GitHub

0 stars0 forks0 contributors

Overview

Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving

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 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