Uploaded June 2026 | Updated September 2026, 3 weeks ago

---

What is Lean? Author Kevin Hartnett discusses the importance of the computer program, which is also the subject of his new book, "The Proof in the Code." Watch Hartnett's full interview with Quanta Books' Thomas Lin on our profile.