Kevin Hartnett,English,Quanta Books,Mathematics,Computers,Artificial Intelligence,Technology & Engineering,Inventions

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

It began as an obscure bug-checking program at Microsoft Research developed by a l

… [more below]

• Author: Hartnett, Kevin
• Binding: Hardcover
• Page Count: 288
• Publish Date: June 09 2026
• ISBN10: 0374620059
• Language: English