The Proof in the Code

Kevin Hartnett

Bog | Engelsk

Beskrivelse

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 lone computer engineer named Leo de Moura. Then an unlik…