Starmorph News
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem proverimperialcollegelondon.github.io
146 points by ljlolel 7 days ago | 107 comments