GitHub - riccardobrasca/flt3: Proof in Lean of Fermat Last Theorem for exponent 3 · GitHub

This repository was archived by the owner on Jul 16, 2024. It is now read-only.

Name		Name	Last commit message	Last commit date
.devcontainer		.devcontainer
.vscode		.vscode
FLT3		FLT3
.gitignore		.gitignore
FLT3.lean		FLT3.lean
LICENSE		LICENSE
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

Proof in Lean of Fermat Last Theorem for exponent 3

About

Proof in Lean of Fermat Last Theorem for exponent 3

Apache-2.0 license

39 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages