Hacker GitHub

← 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

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …mathlib (human, expert curated) and projects like TauCeti (AI-welcome complement to mathlib). See: https://github.com/TauCetiProject/TauCeti
    comment by porcoda · 2026-10-07 · in Sharing AI progress in mathematics
  2. …a public library of verified results that anyone can reuse in future missions. - [Tau Ceti]( https://github.com/TauCetiProject/TauCeti ) - An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans…
    comment by kdavis · 2026-09-12 · in Ask HN: New way of organizing Mathematical Research
  3. ▲ 2
    AIs-welcome Lean library downstream of Mathlib
    story by MADEinPARIS · 2026-07-25 · 0 comments