BêtaRare
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
- Propriétaire
- ImperialCollegeLondon (organisation)
- Étoiles
- Étoiles : 1 056
- Forks
- Forks : 174
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de ImperialCollegeLondon
Les 10 dépôts de ImperialCollegeLondon- ImperialCollegeLondon/covid19modelÉtoiles : 941StanBêta
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 263LeanAlpha
- ImperialCollegeLondon/sap-voiceboxÉtoiles : 255MATLABAlpha
- ImperialCollegeLondon/sharpyÉtoiles : 198PythonPrototype
D’autres dépôts Lean
Tous les dépôts Lean- google-deepmind/formal-conjecturesÉtoiles : 1 346LeanBêta
- longfellow-zk/longfellow-zkÉtoiles : 1 328LeanBêta
- anthropics/fermats-last-theoremÉtoiles : 1 297LeanBêta
- leanprover-community/physlibÉtoiles : 819LeanBêta
- google-deepmind/superhumanÉtoiles : 808LeanBêta
- leanprover/cslibÉtoiles : 793LeanBêta