GitHub - xcthulhu/flyspeck: Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)

Name		Name	Last commit message	Last commit date
Latest commit History 1,871 Commits
cfsqp		cfsqp
development		development
emacs		emacs
formal_lp		formal_lp
glpk		glpk
graph_generator		graph_generator
interval_code		interval_code
jhol		jhol
kepler_tex		kepler_tex
latex		latex
legacy		legacy
mathematica		mathematica
text_formalization		text_formalization