Skip Nav Destination
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.
Search for other works by this author on:
The MIT Press
I: Basic Programming and Proving
2013. "Basic Programming and Proving", Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant, Adam Chlipala
Download citation file: