BetaRare
anthropics/fermats-last-theorem
No description.
- Owner
- anthropics (organization)
- Stars
- Stars: 1,296
- Forks
- Forks: 115
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by anthropics
All 68 repos by anthropics- anthropics/skillsStars: 187,192PythonLTS
- anthropics/claude-codeStars: 154,455TypeScriptLTS
- anthropics/claude-cookbooksStars: 54,179Jupyter NotebookLTS
- anthropics/claude-plugins-officialStars: 46,029PythonLTS
- anthropics/financial-servicesStars: 41,032PythonLTS
- anthropics/prompt-eng-interactive-tutorialStars: 39,028Jupyter NotebookLTS
Nearby in Lean
All Lean repos- leanprover-community/mathlib3Stars: 1,667LeanBeta
- google-deepmind/formal-conjecturesStars: 1,348LeanBeta
- longfellow-zk/longfellow-zkStars: 1,328LeanBeta
- ImperialCollegeLondon/FLTStars: 1,056LeanBeta
- leanprover-community/physlibStars: 819LeanBeta
- google-deepmind/superhumanStars: 809LeanBeta