Software Foundations

softwarefoundations.cis.upenn.edusite

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

from

Theoretical Computer Science, Coq

added

2026-10-10

likes

0

Theoretical Computer Science › Introductory > Books: “A broad introduction series to the mathematical underpinnings of reliable software. It's composed of proof scripts for the Coq proof assistant. It's is intended for a broad range of readers, With no specific background assumed.”

Coq › Resources > Books: “Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.”