Comment by griffzhowl Comment by griffzhowl 3 days ago 1 reply Copy Link View on Hacker News He's one of the leaders of this project to formalise Fermat's last theorem too
Copy Link ljlolel 3 days ago Collapse Comment - He’s also commenting in this thread! Reply View | 0 replies
He’s also commenting in this thread!