Ongoing Lean formalisation of the proof of Fermat's Last Theorem

[anonyonoor]

https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...

---

Comments URL: https://news.ycombinator.com/item?id=44745727

Points: 55

# Comments: 26