Adam Chlipala

Adam Chlipala's books

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

4.28 avg rating — 29 ratings

Formal Reasoning About Programs

3.50 avg rating — 4 ratings