GitHub repository: pitmonticone/FLT3
Primary language: Lean
Description: Formalisation of Fermat's Last Theorem (FLT) for Exponent 3 in Lean.