My favorites | Sign in
Project Home Downloads Wiki Issues Source
  PageName Summary + Labels Changed ChangedBy ...
AnnouncingCompletion Announcement of Completion   Featured Aug 16  
ErrataDenseSpherePackings Errata for "Dense Sphere Packings: a blueprint for formal proofs" Aug 1  
FlyspeckFactSheet Introduction to the Flyspeck Project (formal proof of the Kepler Conjecture). This is a good place to start.   Featured Aug 1  
FejesTothsKissingConjecture Fejes Toth's Conjecture on Packings with Kissing Number Twelve (non-Flyspeck) Aug 1  
Powered by Google Project Hosting