A fully automatic problem solver with human-style outputhttp://gowers.wordpress.com/2013/09/19/preprint-about-theorem-proving-program-up-on-arxiv/ by shamp00 • 13 years ago 2 0 13 years agoGOgowers.wordpress.com