12:32
2026-07-25
github.com
artificial-intelligence
AIs-welcome Lean library downstream of Mathlib
The Lean FRO and Mathlib Initiative have launched Tau Ceti, an open-source repository of formal mathematics where all code is written by AI contributors under human-directed roadmaps and adversarial A…