[isabelle] Flyspeck completed!
- To: Isabelle Users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Flyspeck completed!
- From: Tobias Nipkow <nipkow at in.tum.de>
- Date: Wed, 13 Aug 2014 15:55:05 +0200
- User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.6.0
The readers of this mailing list may be interested to learn that Tom Hales's
Flyspeck project (the formal proof of the Kepler conjecture, using mainly HOL
Light but also Isabelle/HOL) has been completed 2 days ago:
This is a landmark achievement of Tom and his collaborators and proof of the
enormous progress in our field.
This archive was generated by a fusion of
Pipermail (Mailman edition) and