/flyspeck

The formal proof of the Kepler conjecture

Primary LanguageOCamlMIT LicenseMIT

Stargazers