Tree @master (Download .tar.gz)
Books.md @master — view markup · raw · history · blame
Coq Books
Software Foundations
- authors: Benjamin C. Pierce et al
- date: 2024
- online @ softwarefoundations.cis.upenn.edu
.
Certified Programming with Dependent Types
- subtitle: A Pragmatic Introduction to the Coq Proof Assistant
- authors: Adam Chlipala
- date: 2013
- online @ archive.org
- booksite: http://adam.chlipala.net/cpdt/
.
Modeling and Proving in Computational Type Theory Using the Coq Proof Assistant (Draft)
- authors: Gert Smolka
- date: 2022
- online @ www.ps.uni-saarland.de
.