A Lean Formalisation of Fermat's Last Theoremhttps://github.com/ImperialCollegeLondon/FLT/blob/main/GENERAL.md by bcye • 11 months ago 2 0 11 months agoGIgithub.com