Quick Facts
| Author | Kevin Hartnett |
| Narrator | Kevin Shen |
| Runtime | 8h24m |
| Published | June 9, 2026 |
| Rating | 0.0 / 5 (17 ratings) |
| Categories | Computers & Technology, Computer Science, History & Culture, Innovations, Science & Engineering, Mathematics |
| Format | Audiobook (Digital) |
| Platform | Audible |
Featured Audiobooks
Handpicked listeners' favorites this week
About This Audiobook
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught...
Why Listen to The Proof in the Code?
- Expert narration by Kevin Shen brings every character and scene to life across 8h24m of immersive audio.
- Bestseller-quality story from Kevin Hartnett.
- Free with your Audible trial — keep the audiobook forever even if you cancel.
- Perfect for commutes, workouts, and relaxation. Listen anywhere, anytime.
Download: The Proof in the Code
Some links on this page are affiliate links. If you make a purchase through one of them, we may earn a small commission at no extra cost to you.
The Proof in the Code by Kevin Hartnett is an immersive listening experience. Performed by Kevin Shen with a runtime of 8h24m, you can start with a free trial that you can cancel at any time. The audiobook remains yours forever, even if you end the trial.