PrototypeCommon
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
- Owner
- wellecks (personal account)
- Stars
- Stars: 156
- Forks
- Forks: 17
- Language
- Python
- License
- MIT
- Created
- 2023
- Topics
- leanlean4llmtheorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by wellecks
All 3 repos by wellecks- wellecks/ntptutorialStars: 179Jupyter NotebookPrototype
- wellecks/naturalproofsStars: 138PythonPrototype
Nearby in Python
All Python repos- agent-for-dummys/Agent-For-DummiesStars: 156PythonPrototype
- SecFathy/xss-specialistStars: 156PythonPrototype
- mikuta0407/win4wineStars: 156PythonPrototype
- effigies/BitTornadoStars: 156PythonPrototype
- nipy/mindboggleStars: 156PythonPrototype
- apavlo/py-tpccStars: 156PythonPrototype