The flyspeck project fact sheet. Project description available at http://code.google.com/p/flyspeck (2005)

by T Hales