Kevin is a math and technology writer covering mathematics, computer science, and AI.
How do you know if something is true?
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
Coming June 2026
Pre-order