Read more about the future of mathematics in Kevin Hartnett’s (@kevinhartnett.bsky.social) THE PROOF IN THE CODE, publishing tomorrow: www.quantabooks.org/books/the-pr...
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
