2 ms·

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

• ljlolel 1y ago
  He’s also commenting in this thread!