TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
Formal computer-verified proof of the Kepler conjecture
2 points
by
saticmotion
almost 11 years ago
no comments
no comments