GitHub repository: leanprover-community/flt-regular
Primary language: Lean
Description: Fermat's Last Theorem for regular primes