Adam Chlipala

3 books

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

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

Adam Chlipala

424 pages • first pub 2010 (editions)

nonfiction computer science mathematics informative slow-paced
Certified Programming with Dependent Types by Adam Chlipala
Certified Programming with Dependent Types
—
Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

369 pages • first pub 2010 (editions)

Formal Reasoning About Programs by Adam Chlipala
Formal Reasoning About Programs
—
Adam Chlipala

Formal Reasoning About Programs

Adam Chlipala

119 pages • first pub 563 (editions)

medium-paced