TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

anthropics/formal-math

Open source Other LeanApache-2.0

Stars

404

Today

+74

last 24 hours

This week

+96

Forks

78

Clone

git clone https://github.com/anthropics/formal-math.git

Star growth

2026-10-20: +32026-10-21: +02026-10-22: +02026-10-23: +02026-10-24: +02026-10-25: +02026-10-26: +02026-10-27: +912026-10-28: +74 (today so far)2026-10-20todaymax +91/day
Stars gained per day since 2026-10-20; the lighter bar is today so far.
Created
2026-08-06
Last commit
2026-10-06
Gained since tracking
+99

Similar in Other

Updated Wed, 28 Oct 2026 05:47:07 GMT · description from the project itself