The Flyspeck Project fact sheet. Project description available at http://www.math.pitt.edu/~thales/flyspeck (2005)

by T Hales