anthropics/ formal-math
by Anthropic Lean Apache-2.0 licence 88 forks Created Aug 2026 View on GitHub
- Stars
- 470
- <1% of anthropics's stars
- Rank
- #132,963
- of 852,272 repos, top 16%
Among 852,272 repos
400–630 stars: 51,567 repos, including formal-math
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 #132,700
- Next milestone
- +297 stars to reach the top 10%
- Popular
- One of 490,881 repos with 100+ stars