# Adam Chlipala

Canonical: https://www.bookquiver.com/adam-chlipala

- Books: 1
- Language: 1

## Books

- [Certified Programming with Dependent Types](https://www.bookquiver.com/adam-chlipala/certified-programming-with-dependent-types) — 2022-06-07