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