Volume 1: Logical Foundations
Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
similar
-
Software Foundations softwarefoundations.cis.upenn.edu
Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.
-
Volume 2: Programming Language Foundations softwarefoundations.cis.upenn.edu
Introduction to the theory of programming languages, including operational semantics, Hoare logic, and static type systems.
-
Volume 6: Separation Logic Foundations softwarefoundations.cis.upenn.edu
An introduction to separation logic and how to build program verification tools on top of it.
-
Formal Reasoning About Programs adam.chlipala.net
Book that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose.
-
Volume 3: Verified Functional Algorithms softwarefoundations.cis.upenn.edu
Demonstration of how a variety of fundamental data structures can be specified and verified.
-
Lectures on Software Foundations github.com
Material on the Software Foundations series of textbooks, including a series of YouTube videos.
Coq › Resources > Books: “Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving.”