[isabelle] Gowers on "More quasi-automatic theorem proving"



Hi,
I just noticed that Isabelle and Isar have been recently mentioned in this blog:

http://gowers.wordpress.com/2008/07/28/more-quasi-automatic-theorem-proving/

It would be interesting to follow a discussion between top
mathematicians (like Gowers and Tao) and ATP experts (like the
frequent readers of this list).
Best,
-- 
 Hector





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.