Comment by griffzhowl 6 months ago He's one of the leaders of this project to formalise Fermat's last theorem too 1 comment griffzhowl Reply ljlolel 6 months ago He’s also commenting in this thread!
He’s also commenting in this thread!