Hacker News
Fermat's Last Theorem in Lean 4
10 points by
aaraujo002
2 hours ago |
3 comments
rawling
60 minutes ago
[ - ]
Front-page discussion:
https://news.ycombinator.com/item?id=49568506
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