/flt-regular

Fermat's Last Theorem for regular primes

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers