GitHub repository: oliver-butterley/FLT
Primary language: TeX
Description: Ongoing Lean formalisation of the proof of Fermat's Last Theorem