Certified Programming with Dependent Types Quotes

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

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 by Adam Chlipala
29 ratings, 4.28 average rating, 3 reviews

Certified Programming with Dependent Types Quotes Showing 1-1 of 1

“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

All Quotes
Quotes By Adam Chlipala