G github.com Ongoing Lean formalization of the proof for Fermat's Last Theorem https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER... 127 points anonyonoor 1 year ago 79 comments
