# anthropics/fermats-last-theorem

<https://repo.masters-masters.com/repos/anthropics/fermats-last-theorem>

[Accueil](https://repo.masters-masters.com/) › [anthropics](https://repo.masters-masters.com/owners/anthropics) › [fermats-last-theorem](https://repo.masters-masters.com/repos/anthropics/fermats-last-theorem)

anthropics/fermats-last-theorem, dépôt open source à 1 296 étoiles sur GitHub. Carte Bêta de RepoMasters. Langage : Lean.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [anthropics](https://repo.masters-masters.com/owners/anthropics) |
| Étoiles | 1 296 |
| Forks | 115 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | Apache-2.0 |
| Création | 2026 |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [anthropics/fermats-last-theorem](https://github.com/anthropics/fermats-last-theorem) |

## Fiche du dépôt

Pas de description.

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 anthropics

- [anthropics/skills · ★ 187 192 · Python · LTS](https://repo.masters-masters.com/repos/anthropics/skills)
- [anthropics/claude-code · ★ 154 455 · TypeScript · LTS](https://repo.masters-masters.com/repos/anthropics/claude-code)
- [anthropics/claude-cookbooks · ★ 54 179 · Jupyter Notebook · LTS](https://repo.masters-masters.com/repos/anthropics/claude-cookbooks)
- [anthropics/claude-plugins-official · ★ 46 029 · Python · LTS](https://repo.masters-masters.com/repos/anthropics/claude-plugins-official)
- [anthropics/financial-services · ★ 41 032 · Python · LTS](https://repo.masters-masters.com/repos/anthropics/financial-services)
- [anthropics/prompt-eng-interactive-tutorial · ★ 39 028 · Jupyter Notebook · LTS](https://repo.masters-masters.com/repos/anthropics/prompt-eng-interactive-tutorial)

## D’autres dépôts Lean

- [leanprover-community/mathlib3 · ★ 1 667 · Lean · Bêta](https://repo.masters-masters.com/repos/leanprover-community/mathlib3)
- [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)
- [ImperialCollegeLondon/FLT · ★ 1 056 · Lean · Bêta](https://repo.masters-masters.com/repos/ImperialCollegeLondon/FLT)
- [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)

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