Skip to content
/ flyspeck Public

Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)

code.google.com/p/flyspeck/
3 stars 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

xcthulhu/flyspeck

BranchesTags

Folders and files

NameName
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

 
 

About

Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)

code.google.com/p/flyspeck/
Activity

Stars

3 stars

Watchers

3 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages