Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / wellecks / llmstep

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

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/wellecks%2Fllmstep

Stars: 92
Forks: 13
Open Issues: 2

License: mit
Language: Python
Repo Size: 1.56 MB
Dependencies: 3

Created: 11 months ago
Updated: about 1 month ago
Last pushed: 6 months ago
Last synced: 25 days ago

Topics: lean, lean4, llm, theorem-proving

Files
    Loading...
    Readme
    Loading...
    Dependencies
    requirements.txt pypi