GitHub repository: wellecks/llmstep
Primary language: Python
Description: llmstep: [L]LM proofstep suggestions in Lean 4.