TauCetiProject/TauCeti

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

2 best points · 0 comments · 1 Hacker News post · 272 GitHub stars · View on GitHub

Hacker News discussions

• AIs-welcome Lean library downstream of Mathlib (2 points, 0 comments, by MADEinPARIS, 2026-07-25)