Søgeresultater for "The Proof in the Code"
Kevin Hartnett
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
309,95 kr.