anthropics/ fermats-last-theorem
by Anthropic Lean Apache-2.0 licence 118 forks Created Sept 2026 View on GitHub
- Stars
- 1,314
- <1% of anthropics's stars
- Rank
- #52,074
- of 851,984 repos, top 7%
Among 851,984 repos
1k–1.6k stars: 23,676 repos, including fermats-last-theorem
top 50%top 10%top 1%top 0.1%
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #52,040
- Next milestone
- +5,906 stars to reach the top 1%
- Popular
- One of 66,569 repos with 1k+ stars