Ohloh by Black Duck

 Follow @ Meta   Join Now

 Settings |  Report Duplicate
Moderate Activity
1

Project Summary

  Analyzed 3 days ago based on code collected 3 days ago.

The Flyspeck ProjectIntroductionThe purpose of the flyspeck project is to produce a formal proof of the Kepler Conjecture. The name `flyspeck' comes from matching the pattern /f.*p.*k/ against an English dictionary. FPK in turn is an acronym for "The Formal Proof of Kepler."

Internal LinksFlyspeck Wiki Formalizing the Text This is a proposal about how to formalize the written text of the proof. IMO-demo A demo on using HOL Light, including Harrison's IMO problem video. Browse flyspeck Browse the subversion repository View flyspeck Google code view of repository. PDF DocumentsThe pdf files are under continual revision. For the absolutely latest version, the raw tex files can be downloaded from the repository.

External LinksHol-light source code repository Flyspeck Google Group 2009 Hanoi workshop code for 1998 proof McLaughlin's revision of the kepler code Flyspeck I: Tame Graphs G. Bauer and T. Nipkow Flyspeck II: Linear Programs S. Obua QED Manifesto T. Hales acknowledges the support of the NSF through grant 0503447 on the "Formal Foundations of Discrete Geometry" and grant 0804189 on the "Formal Proof of the Kepler Conjecture"

Share

Quick Reference

Project Links:

Code Locations:
http://flyspeck.googlecode.com/s...
Licenses:
MIT
Similar Projects:
Managers:
Become the first manager for flyspeck
Browse Code

In a Nutshell, flyspeck...

Languages

XML 		38%
TeX/LaTeX 		22%
Objective Caml 		20%
13 Other 		20%
 
 

Lines of Code

 

Activity

30 Day Summary Apr 19 2013 — May 19 2013

12 Month Summary May 19 2012 — May 19 2013

  • 363 Commits Up +3 (0%) from previous 12 months
  • 4 Contributors Down -2 (33%) from previous 12 months

Commits per Month

Community

Ratings

Be the first to rate this project
 
Click to add your rating
 
Review this Project!

Most Recent Contributors

Anon32 solovyev.alexey Anon32 tchales
Anon32 TCHales Anon32 vukhacky
Anon32 ...acky@gmail.com Anon32 ...0983@gmail.com

Contributors per Month

 
 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.