BetaRare
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
- Owner
- ImperialCollegeLondon (organization)
- Stars
- Stars: 1,056
- Forks
- Forks: 174
- Language
- Lean
- License
- Apache-2.0
- Created
- 2023
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by ImperialCollegeLondon
All 10 repos by ImperialCollegeLondon- ImperialCollegeLondon/covid19modelStars: 941StanBeta
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 264LeanAlpha
- ImperialCollegeLondon/sap-voiceboxStars: 255MATLABAlpha
- ImperialCollegeLondon/sharpyStars: 198PythonPrototype
Nearby in Lean
All Lean repos- google-deepmind/formal-conjecturesStars: 1,348LeanBeta
- longfellow-zk/longfellow-zkStars: 1,328LeanBeta
- anthropics/fermats-last-theoremStars: 1,296LeanBeta
- leanprover-community/physlibStars: 819LeanBeta
- google-deepmind/superhumanStars: 809LeanBeta
- leanprover/cslibStars: 796LeanBeta