Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 18 2022 at 12:21):

From: Hector Villafuerte <hectorvd@gmail.com>
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,

Last updated: May 03 2024 at 01:09 UTC