3 - Kick-off afternoon : Thomas Hales, Formalizing the proof of the Kepler Conjecture

3 - Kick-off afternoon : Thomas Hales, Formalizing the proof of the Kepler Conjecture
Share:


Similar Tracks