Fermat's Last Theorem in Lean 4

3 comments

• rawling 1 hour ago
  Front-page discussion: https://news.ycombinator.com/item?id=49568506
• ks2048 58 minutes ago
  Now we have what Fermat tried to write in the margin: aa2d8b34692b16c70f699536de0d8e75b9a3e9ef
• DoctorOetker 2 hours ago
  Mine is much shorter though...