The purpose of the flyspeck project is to formalize the proof of the Kepler Conjecture.

Saturday, September 18, 2004

Flyspeck Project Day 1

I returned today from the TPHOL-2004 conference in Park City. People were interested in setting up a site where we can share thoughts about the flyspeck project. Here it is!