This week, @quantabooks.org released "The Proof in the Code" by journalist @kevinhartnett.bsky.social, which tells the story of the birth and rise of Lean, a proof assistant that’s shifting the way mathematicians seek truth: https://bit.ly/43msryr #math #science
One of the largest shifts in the history of mathematics is happening right now, and a new book from Quanta Books chronicles the people and project responsible.
