Formalizing the proof of the Kepler Conjecture
Thomas Hales (University of Pittsburgh): Formalizing the proof of the Kepler Conjecture
Thomas Hales (University of Pittsburgh): Formalizing the proof of the Kepler Conjecture
De Vladimir Voevodsky
De Gérard Berry
De Gérard Berry
De Jean Louis Krivine