Fermat's Last Theorem in Lean 4
https://github.com/anthropics/fermats-last-theoremloading story #49570525
loading story #49571599
loading story #49570524
loading story #49569475
loading story #49569908
loading story #49568734
Hacker News new | past | comments | ask | show | jobs | submit