Books by Adam Chlipala

1 title available, newest first by original publication date.

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Adam Chlipala

$80.99