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

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

Stars counted Recounted daily Next count around