01
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
- Stars
- 975
- Forks
- 164
- Pushed
- Unknown
Trending repositories
ImperialCollegeLondon’s trending work
Repositories from this owner that have appeared in GitHub Trending.