Hacker Neus
Fermat's Last Theorem in Lean 4
(github.com)
79 points
by aaraujo002
9 hours ago |
15 comments
