PrototypeCommune
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
- Propriétaire
- wellecks (compte personnel)
- Étoiles
- Étoiles : 156
- Forks
- Forks : 17
- Langage
- Python
- Licence
- MIT
- Création
- 2023
- Sujets
- leanlean4llmtheorem-proving
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de wellecks
Les 3 dépôts de wellecks- wellecks/ntptutorialÉtoiles : 179Jupyter NotebookPrototype
- wellecks/naturalproofsÉtoiles : 138PythonPrototype
D’autres dépôts Python
Tous les dépôts Python- agent-for-dummys/Agent-For-DummiesÉtoiles : 156PythonPrototype
- SecFathy/xss-specialistÉtoiles : 156PythonPrototype
- mikuta0407/win4wineÉtoiles : 156PythonPrototype
- effigies/BitTornadoÉtoiles : 156PythonPrototype
- nipy/mindboggleÉtoiles : 156PythonPrototype
- apavlo/py-tpccÉtoiles : 156PythonPrototype