Verifying the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge.
Sunday Night Owl Extravaganza Auction Presentation 6/8/2014 10:30PM EST
Monday extravaganza 6.2
Monday Night Owl Extravaganza 6/2/2014 10:30PM EST
