Kepler conjecture source code (1998)

by T C Hales