PrototypeCommune
project-numina/kimina-lean-server
Kimina Lean server (+ client SDK)
- Propriétaire
- project-numina (organisation)
- Étoiles
- Étoiles : 213
- Forks
- Forks : 37
- Langage
- Python
- Licence
- MIT
- Création
- 2025
- Sujets
- lean4repl
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de project-numina
Les 3 dépôts de project-numina- project-numina/aimo-progress-prizeÉtoiles : 497Jupyter NotebookAlpha
- project-numina/numina-lean-agentÉtoiles : 286PythonAlpha
D’autres dépôts Python
Tous les dépôts Python- sghwr/AutoMMÉtoiles : 213PythonPrototype
- kelvinfkr/company_skillÉtoiles : 213PythonPrototype
- whyever77/dafeiyu-astrbotÉtoiles : 213PythonPrototype
- jsmits/github-cliÉtoiles : 213PythonPrototype
- jtauber-archive/django-friendsÉtoiles : 213PythonPrototype
- BradWhittington/django-mailgunÉtoiles : 213PythonPrototype