I imperialcollegelondon.github.io Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover 146 points ljlolel 1 year ago 107 comments
