TrendingRisingGemsRadarToolboxCategories

Repository

TauCetiProject/TauCeti

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

Open source WebsiteOther LeanApache-2.0

Stars

236

Today

+4

last 24 hours

This week

+4

Forks

95

Clone

git clone https://github.com/TauCetiProject/TauCeti.git

Star growth

2026-10-18: +4 (today so far)2026-10-18todaymax +4/day
Stars gained per day. Tracking since 2026-10-18; the lighter bar is today so far.
Created
2026-06-02
Last commit
2026-10-17
Gained since tracking
+4

Similar in Other

Updated Sun, 18 Oct 2026 15:32:30 GMT · description from the project itself