Hacker Next
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem proverimperialcollegelondon.github.io
131 points by ljlolel 1 days ago | 94 comments