# Mechanizing Proof

Canonical: https://www.bookquiver.com/donald-mackenzie/mechanizing-proof/9780262632959

![Mechanizing Proof](https://quivercdn.com/covers/the-mit-press/donald-mackenzie/mechanizing-proof_978-02-6263-295-9.jpg?v=2026-06-21%2015%3A54%3A26)

- Book: [Mechanizing Proof](https://www.bookquiver.com/donald-mackenzie/mechanizing-proof) ([Mechanizing Proof.md](https://www.bookquiver.com/donald-mackenzie/mechanizing-proof.md))
- Authors: [Donald MacKenzie](https://www.bookquiver.com/donald-mackenzie)
- Publisher: the_mit_press
- ISBN: 978-02-6263-295-9
- Pages: 440
- Published: 2004-01-30
- Language: en_US
- Binding: Softcover

## Description

Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing....