AlphaPeu commune
TauCetiProject/TauCeti
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
- Propriétaire
- TauCetiProject (organisation)
- Étoiles
- Étoiles : 260
- Forks
- Forks : 112
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- digama0/lean4leanÉtoiles : 269LeanAlpha
- tristanbuckmaster/fluid_leanÉtoiles : 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 262LeanAlpha
- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha
- dwrensha/compfilesÉtoiles : 255LeanAlpha
- mit-pdos/perennialÉtoiles : 253LeanAlpha