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