# The Little Prover

Canonical: https://www.bookquiver.com/daniel-p-friedman/the-little-prover/9780262527958

![The Little Prover](https://quivercdn.com/covers/the-mit-press/daniel-p-friedman/the-little-prover_978-02-6252-795-8.jpg?v=2026-06-12%2023%3A46%3A49)

- Book: [The Little Prover](https://www.bookquiver.com/daniel-p-friedman/the-little-prover) ([The Little Prover.md](https://www.bookquiver.com/daniel-p-friedman/the-little-prover.md))
- Authors: [Daniel P. Friedman](https://www.bookquiver.com/daniel-p-friedman), [Carl Eastlund](https://www.bookquiver.com/carl-eastlund), [Duane Bibby](https://www.bookquiver.com/duane-bibby)
- Publisher: the_mit_press
- ISBN: 978-02-6252-795-8
- Pages: 248
- Published: 2015-07-10
- Language: en_US
- Binding: Softcover

## Description

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant. The Little Prover introduces...