# Certified Programming with Dependent Types

Canonical: https://www.bookquiver.com/adam-chlipala/certified-programming-with-dependent-types

![Certified Programming with Dependent Types](https://quivercdn.com/covers/the-mit-press/adam-chlipala/certified-programming-with-dependent-types_978-02-6254-574-7.jpg?v=2026-06-03%2014%3A04%3A50)

- Authors: [Adam Chlipala](https://www.bookquiver.com/adam-chlipala)
- Language: en_US
- Published: 2022-06-07

## Description

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds...

## Editions

### Certified Programming with Dependent Types

- Publisher: the_mit_press
- ISBN: 978-02-6254-574-7
- Pages: 440
- Published: 2022-06-07
- Language: en_US