Fermat's Last Theorem in Lean 4github.com
64 points by aaraujo002 6 hours ago | 14 comments