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