GitHub repository: maddycrim/FLT
Description: Ongoing Lean formalisation of the proof of Fermat's Last Theorem