Gurmeet Singh
@gurmeet0108
Ex-googler, now doing PhD in computational astrophysics.
ID: 603603852
09-06-2012 11:32:25
1,1K Tweet
33 Takipçi
395 Takip Edilen
Freek Wiedijk 🎲 Presents a beautiful overview of Proof Assistants at the Autumn School of Proof and Computation. He talks a bit of their story and the criteria we should take in consideration to have good Theorem Provers.