AlphaUncommon
TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
- Owner
- TauCetiProject (organization)
- Stars
- Stars: 262
- Forks
- Forks: 115
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Lean
All Lean repos- digama0/lean4leanStars: 269LeanAlpha
- tristanbuckmaster/fluid_leanStars: 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 263LeanAlpha
- leanprover-community/lean-liquidStars: 255LeanAlpha
- dwrensha/compfilesStars: 255LeanAlpha
- mit-pdos/perennialStars: 253LeanAlpha