Hacker News new | ask | show | jobs
by griffzhowl 298 days ago
He's one of the leaders of this project to formalise Fermat's last theorem too
1 comments
ljlolel 297 days ago
He’s also commenting in this thread!
link