Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Ongoing Lean formalization of the proof for Fermat's Last Theorem
github.com/ImperialCollegeLondon
127 points
anonyonoor
10 months ago
https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...
79 comments
Loading...
Ongoing Lean formalization of the proof for Fermat's Last Theorem | Heykuki News