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
134
Forks
31
License
Apache-2.0
Open Issues
96
Updated
9m ago
No README available
Statistics
- Stars
- 134
- Forks
- 31
- Open Issues
- 96
- Created
- Jun 02, 2026
- Updated
- Aug 03, 2026