GitHub Trending Topics Languages Repositories Users Organizations

/

ImperialCollegeLondon FLT

Public

Watch0 Fork164 Star975

Code Issues Pull requests Insights

HEAD

READMEApache-2.0 license

No README is available through GitHub.

About

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

Readme
Apache-2.0 license
Activity
975 stars
0 watching
164 forks

Contributors

View all contributors

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse repositories Browse users Browse organizations Browse GitHub topics

© 2026 GitStarJobStar GitHub Trending source