# ImperialCollegeLondon/FLT

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

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

ImperialCollegeLondon/FLT has 1,056 stars on GitHub. Its RepoMasters card: Beta tier. Ongoing Lean formalisation of the proof of Fermat's Last Theorem

| Field | Value |
| --- | --- |
| Owner | [ImperialCollegeLondon](https://repo.masters-masters.com/en/owners/ImperialCollegeLondon) |
| Stars | 1,056 |
| Forks | 174 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | Apache-2.0 |
| Created | 2023 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [ImperialCollegeLondon/FLT](https://github.com/ImperialCollegeLondon/FLT) |

## Repository

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

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## More repos by ImperialCollegeLondon

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

## Nearby in Lean

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

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.