Giters

riccardobrasca / flt3

Proof in Lean of Fermat Last Theorem for exponent 3

Repository from Github https://github.comriccardobrasca/flt3Repository from Github https://github.comriccardobrasca/flt3

Proof in Lean of Fermat Last Theorem for exponent 3

Open in GitHub Codespaces

About

Proof in Lean of Fermat Last Theorem for exponent 3

License:Apache License 2.0

Languages

Language:Lean 99.3%Language:Dockerfile 0.7%