lean-runner

PyPI page
Home page
Author: None
Summary: A Python client for the Lean Theorem Prover Server API.
Latest version: 0.1.0
Required dependencies: httpx | pydantic | tqdm

Downloads last day: 4
Downloads last week: 9
Downloads last month: 19