# ImperialCollegeLondon/FLT

<https://repo.masters-masters.com/repos/ImperialCollegeLondon/FLT>

[Accueil](https://repo.masters-masters.com/) › [ImperialCollegeLondon](https://repo.masters-masters.com/owners/ImperialCollegeLondon) › [FLT](https://repo.masters-masters.com/repos/ImperialCollegeLondon/FLT)

ImperialCollegeLondon/FLT, dépôt open source à 1 056 étoiles sur GitHub. Carte Bêta de RepoMasters. Ongoing Lean formalisation of the proof of Fermat's Last…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [ImperialCollegeLondon](https://repo.masters-masters.com/owners/ImperialCollegeLondon) |
| Étoiles | 1 056 |
| Forks | 174 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | Apache-2.0 |
| Création | 2023 |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [ImperialCollegeLondon/FLT](https://github.com/ImperialCollegeLondon/FLT) |

## Fiche du dépôt

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

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de ImperialCollegeLondon

- [ImperialCollegeLondon/covid19model · ★ 941 · Stan · Bêta](https://repo.masters-masters.com/repos/ImperialCollegeLondon/covid19model)
- [ImperialCollegeLondon/formalising-mathematics · ★ 317 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics)
- [ImperialCollegeLondon/natural\_number\_game · ★ 305 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/natural_number_game)
- [ImperialCollegeLondon/formalising-mathematics-2024 · ★ 264 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics-2024)
- [ImperialCollegeLondon/sap-voicebox · ★ 255 · MATLAB · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/sap-voicebox)
- [ImperialCollegeLondon/sharpy · ★ 198 · Python · Prototype](https://repo.masters-masters.com/repos/ImperialCollegeLondon/sharpy)

## D’autres dépôts Lean

- [google-deepmind/formal-conjectures · ★ 1 348 · Lean · Bêta](https://repo.masters-masters.com/repos/google-deepmind/formal-conjectures)
- [longfellow-zk/longfellow-zk · ★ 1 328 · Lean · Bêta](https://repo.masters-masters.com/repos/longfellow-zk/longfellow-zk)
- [anthropics/fermats-last-theorem · ★ 1 296 · Lean · Bêta](https://repo.masters-masters.com/repos/anthropics/fermats-last-theorem)
- [leanprover-community/physlib · ★ 819 · Lean · Bêta](https://repo.masters-masters.com/repos/leanprover-community/physlib)
- [google-deepmind/superhuman · ★ 809 · Lean · Bêta](https://repo.masters-masters.com/repos/google-deepmind/superhuman)
- [leanprover/cslib · ★ 796 · Lean · Bêta](https://repo.masters-masters.com/repos/leanprover/cslib)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.