PrototypeCommune
cmu-l3/llmlean
LLMs + Lean, on your laptop or in the cloud
- Propriétaire
- cmu-l3 (compte personnel)
- Étoiles
- Étoiles : 216
- Forks
- Forks : 33
- Langage
- Lean
- Licence
- MIT
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de cmu-l3
Les 4 dépôts de cmu-l3- cmu-l3/gym-anythingÉtoiles : 301ShellAlpha
- cmu-l3/l1Étoiles : 264Jupyter NotebookAlpha
- cmu-l3/anlp-spring2026-codeÉtoiles : 146Jupyter NotebookPrototype
D’autres dépôts Lean
Tous les dépôts Lean- avigad/mathematics_in_lean_sourceÉtoiles : 223LeanPrototype
- cedar-policy/cedar-specÉtoiles : 220LeanPrototype
- openai/ten-proofsÉtoiles : 217LeanPrototype
- Verified-zkEVM/cleanÉtoiles : 207LeanPrototype
- leanprover/fp-leanÉtoiles : 204LeanPrototype
- openai/lean-gymÉtoiles : 201LeanPrototype