Ongoing Lean formalization of the proof for Fermat's Last Theoremgithub.com/ImperialCollegeLondon127 pointsanonyonoora year agohttps://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...