Flyspeck: A blueprint for the formal proof of the Kepler conjecture. source files at http://code.google.com/p/flyspeck/source/browse/trunk (2008)

by T C Hales