Books listed by ISBN > The MIT Press > Adam Chlipala

Adam Chlipala

A.C. ยท Adam-C

titleISBN-13
(ISBN-10)		year of publication
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant978-O-262-O2665-9
(O-262-O2665-1)		2013

Adam Chmielewski

While summoning the
blossoms, Canada admired
without pulling fog