An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
TauCetiProject/TauCeti has 192 GitHub stars.
It currently ranks #43935 daily, #43961 weekly, #44595 monthly by momentum on Trending Repos; its best-ever rank is #35293.