ImperialCollegeLondon/FLT

FLT

✅ Recently maintained

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

1,056Stars
174Forks
+37-day stars

Lean · Apache-2.0 · Last push 2026-10-24

Official repository & installation ↗

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-02
View historical data
DateStars
2026-10-041,036
2026-10-051,037
2026-10-061,038
2026-10-071,040
2026-10-081,040
2026-10-091,040
2026-10-101,041
2026-10-111,041
2026-10-121,042
2026-10-131,043
2026-10-141,044
2026-10-151,045
2026-10-161,046
2026-10-171,048
2026-10-181,049
2026-10-191,049
2026-10-201,049
2026-10-211,049
2026-10-221,049
2026-10-231,050
2026-10-241,051
2026-10-251,052
2026-10-261,053
2026-10-271,054
2026-10-281,054
2026-10-291,054
2026-10-301,056
2026-10-311,056
2026-11-011,056
2026-11-021,056

Get the project

git clone https://github.com/ImperialCollegeLondon/FLT.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.