5 citations · 8 across the 9 of their papers we have counts for
1 paper · 1 filter
Thomas Hales, Mark Adams, Gertrud Bauer +19
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the…