Volume 1: Logical Foundations

0 stars0 forks0 contributors

Overview

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

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

Website

Included in

Coq380

Modeling and Proving in Computational Type Theory

Stars125

Forks12

Last commit11 days ago

Hydras & Co.

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

Stars83

Forks12

Last commit1 year ago

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

Stars0

Forks0

Last commit