# wellecks/llmstep

<https://repo.masters-masters.com/en/repos/wellecks/llmstep>

[Home](https://repo.masters-masters.com/en) › [wellecks](https://repo.masters-masters.com/en/owners/wellecks) › [llmstep](https://repo.masters-masters.com/en/repos/wellecks/llmstep)

wellecks/llmstep has 156 stars on GitHub. Its RepoMasters card: Prototype tier. llmstep: \[L\]LM proofstep suggestions in Lean 4. Language: Python.

| Field | Value |
| --- | --- |
| Owner | [wellecks](https://repo.masters-masters.com/en/owners/wellecks) |
| Stars | 156 |
| Forks | 17 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2023 |
| Topics | lean, lean4, llm, theorem-proving |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [wellecks/llmstep](https://github.com/wellecks/llmstep) |

## Repository

llmstep: \[L\]LM proofstep suggestions in Lean 4.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by wellecks

- [wellecks/ntptutorial · ★ 179 · Jupyter Notebook · Prototype](https://repo.masters-masters.com/en/repos/wellecks/ntptutorial)
- [wellecks/naturalproofs · ★ 138 · Python · Prototype](https://repo.masters-masters.com/en/repos/wellecks/naturalproofs)

## Nearby in Python

- [mikuta0407/win4wine · ★ 156 · Python · Prototype](https://repo.masters-masters.com/en/repos/mikuta0407/win4wine)
- [PedroMarinhoDev/ComfyUI-Drama3 · ★ 156 · Python · Prototype](https://repo.masters-masters.com/en/repos/PedroMarinhoDev/ComfyUI-Drama3)
- [Minglink/dsh-workflows · ★ 156 · Python · Prototype](https://repo.masters-masters.com/en/repos/Minglink/dsh-workflows)
- [effigies/BitTornado · ★ 156 · Python · Prototype](https://repo.masters-masters.com/en/repos/effigies/BitTornado)
- [nipy/mindboggle · ★ 156 · Python · Prototype](https://repo.masters-masters.com/en/repos/nipy/mindboggle)
- [apavlo/py-tpcc · ★ 156 · Python · Prototype](https://repo.masters-masters.com/en/repos/apavlo/py-tpcc)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.