papers
Publications (4)
math.MG2015
A formal proof of the Kepler conjecture
Thomas Hales, Mark Adams, Gertrud Bauer +19
physics.plasm-ph2017
Conservative discretization of the Landau collision integral
Eero Hirvijoki, Mark Adams
cs.LO2015
The Common HOL Platform
Mark Adams
cs.LO2013
Capturing Hiproofs in HOL Light
Steven Obua, Mark Adams, David Aspinall