Tony Finch's link log

• 2014-08-12: Automated proof of Kepler's sphere packing conjecture using Isabelle and HOL. (long) (short) (atom) (wayback machine)