3 ms·
Thomas Hales, for proving the Kepler Conjecture both in a traditional way, and in a completely formalised way.
by auggierose 4y ago
Thomas Hales, for proving the Kepler Conjecture both in a traditional way, and in a completely formalised way.
loading thread…