Quanta Books Releases The Proof in the Code (opens in new tab)

Covers Lean: Programming Language and Theorem Prover

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.

Read the original article