← Back to context

Comment by griffzhowl

3 days ago

He's one of the leaders of this project to formalise Fermat's last theorem too

1 comment

griffzhowl

Reply

ljlolel 3 days ago

He’s also commenting in this thread!