TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
Lean
Stars
195
Forks
69
License
Apache-2.0
Open Issues
242
Updated
9m ago
No README available
Statistics
- Stars
- 195
- Forks
- 69
- Open Issues
- 242
- Created
- Jun 02, 2026
- Updated
- Sep 20, 2026