A Lean Formalisation of Fermat's Last Theorem(github.com)

https://github.com/ImperialCollegeLondon/FLT/blob/main/GENERAL.md