Fermat's Last Theorem in Lean 4
10 points by aaraujo002 2 hours ago | 3 comments

rawling 60 minutes ago
reply
ks2048 22 minutes ago
Now we have what Fermat tried to write in the margin: aa2d8b34692b16c70f699536de0d8e75b9a3e9ef
reply
DoctorOetker 2 hours ago
Mine is much shorter though...
reply