TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
Flyspeck: generating a formal proof of the Kepler Conjecture
5 points
by
pook
about 15 years ago
no comments
no comments