Theorem Proof Gains Acclaim
By Rob Knies, Managing Editor, Microsoft Research At 5:46 p.m. on Sept. 20, Georges Gonthier, principal researcher at Microsoft Research Cambridge, sent a brief email to his colleagues at the Microsoft Research-Inria Joint Centre in Paris. It read, in full: “This is really the End.”…