Adam Chlipala’s Followers (2)

Adam Chlipala

Average rating: 4.18 · 33 ratings · 3 reviews · 2 distinct works

	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant 4.28 avg rating — 29 ratings — published 2010 — 8 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Reasoning About Programs 3.50 avg rating — 4 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more, click here.

Quotes by Adam Chlipala (?)

“The V connective of first-order logic, used in many earlier examples, is built into Coq. It can be viewed as the dependent function type constructor.”
― Adam Chlipala, Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

0 likes

Is this you? Let us know. If not, help out and invite Adam to Goodreads.