Post

As Grant Sanderson (@3blue1brown.com) says, the program Lean is "one of the most important things happening to math right now—future generations may come to regard it as the Euclid’s Elements of our time."

Quanta Books

@quantabooks.org

Read more about Lean in Kevin Hartnett’s THE PROOF IN THE CODE, publishing June 9: www.quantabooks.org/books/the-pr...

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

4/6/26, 3:21 pm0 reposts0 likes

No replies yet.