PyPI page
Home page
Author:
LeanProbe contributors
Summary:
Fast Lean 4 proof feedback for agents, powered by LeanInteract.
Latest version:
0.2.2
Required dependencies:
lean-interact
Optional dependencies:
build
|
mcp
|
mypy
|
pre-commit
|
pytest
|
pytest-xdist
|
ruff
|
twine
Downloads last day:
6
Downloads last week:
43
Downloads last month:
315