# anthropics/fermats-last-theorem

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

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

anthropics/fermats-last-theorem has 1,296 stars on GitHub. Its RepoMasters card: Beta tier. Language: Lean.

| Field | Value |
| --- | --- |
| Owner | [anthropics](https://repo.masters-masters.com/en/owners/anthropics) |
| Stars | 1,296 |
| Forks | 115 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | Apache-2.0 |
| Created | 2026 |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [anthropics/fermats-last-theorem](https://github.com/anthropics/fermats-last-theorem) |

## Repository

No description.

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

## More repos by anthropics

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

## Nearby in Lean

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

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