"The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?"--
← Back to catalog
Cover of The Proof in the Code: How a Truth Machine Is Transforming Math and AI

The Proof in the Code: How a Truth Machine Is Transforming Math and AI

by Kevin Hartnett

Published
2026 · Quanta Books
Pages
288
Read
November 2026
Science & Technology

About this book

"The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?"--