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
By Georges Gonthier
By Vladimir Voevodsky
By Gérard Berry
By Gérard Berry
By Jean Louis Krivine
By Jean Louis Krivine