Formal Reasoning About Programs

0 stars0 forks0 contributors

Overview

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

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

Website

Included in

Coq380

Modeling and Proving in Computational Type Theory

Stars123

Forks13

Last commit4 days ago

Volume 1: Logical Foundations

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

Stars0

Forks0

Last commit

Certified Programming with Dependent Types

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

The first book dedicated to Coq

Stars0

Forks0

Last commit