← All repos

TauCetiProject/TauCeti

View on GitHub ↗ ★ 288 Lean

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

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2026-07-25 · latest 2026-10-07