Slides from TPHOL conference
The slides from Hales's Park City presentation on the flyspeck project have been posted on the internet.
The purpose of the flyspeck project is to formalize the proof of the Kepler Conjecture.
The slides from Hales's Park City presentation on the flyspeck project have been posted on the internet.
There is now a google group for the flyspeck project. It is set up with public archives, but only members can post, and members must be approved before joining. If I have set things up correctly, new contributions to this blog should be automatically distributed to the flyspeck google group.