243 followers Verification papers @verif_papers Cooperating Proof Attempts. - Giles Reger, Dmitry Tishkovsky, Andrei Voronkov http://t.co/pupRRji5qO 01 Aug 2015 Reply Repost Favourite