<span class="kursivbraun">Thomas Hales</span>

Thomas Hales

Formalizing the proof of the Kepler conjecture
Lessons from the formal proof of the Kepler conjecture