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

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

Stars counted Recounted daily Next count around