TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Star count as of 02:28 (BKK).
TauCetiProject/TauCeti has 250 stars and gained +3 of them in the today, a 1.2% change. It is written in Lean, grouped under other, released under Apache-2.0. Last pushed on 27 Oct 2026.
Star history
Loading star history…
Growth
| Period | Stars gained | Growth | From | Measured |
|---|---|---|---|---|
| Last 6 hours | — | — | — | Not measured |
| Last 12 hours | — | — | — | Not measured |
| Today | +3 | 1.2% | 247 on 26 Oct 2026 | Daily snapshots |
| Last 7 days | — | — | — | Last measured 25 Oct 2026 |
| Last 30 days | — | — | — | Not measured |
| Last year | — | — | — | Not measured |
A period with no current measurement is left blank: a delta needs a measurement at both ends of the period. The 6- and 12-hour periods need two intraday measurements exactly that far apart, the day-and-longer periods need snapshots on both dates, and the last year also needs star history from a year ago, which we keep for one year.
Embed this badge
Copy either snippet into the repository's README. The badge shows total stars and the gain over the last 7d (the same window as the one below) and is hotlinked directly, with no account or token.
[](https://bestofgit-blue.vercel.app/projects/TauCetiProject/TauCeti)
<a href="https://bestofgit-blue.vercel.app/projects/TauCetiProject/TauCeti">
<img src="https://bestofgit-blue.vercel.app/badge/TauCetiProject/TauCeti.svg?window=7d"
alt="Star and growth badge for TauCetiProject/TauCeti on BestOfGit" />
</a>
