‘The Proof in the Code’ Review: Lean, Mean Computing Machine

The program called Lean was built to detect bugs in Microsoft’s products. It ended up revolutionizing mathematics.

Continue in Briflio to read, react, comment, and share.