PyPI page
Home page
Author:
Henry Robbins
Summary:
Open Automated Theorem Proving: upload Lean files with sorrys, get verified completed proofs across multiple proving backends.
Latest version:
0.4.2
Required dependencies:
anthropic
|
aristotlelib
|
google-genai
|
jinja2
|
lean-explore
|
modal
|
openai
|
pyyaml
|
rich
|
structlog
|
tqdm
Optional dependencies:
furo
|
mypy
|
myst-parser
|
numpydoc
|
pytest
|
pytest-cov
|
pytest-xdist
|
python-dotenv
|
ruff
|
sphinx
|
sphinx-argparse
|
sphinx-autobuild
|
sphinx-autodoc-typehints
|
sphinx-design
|
sphinxcontrib-bibtex
Downloads last day:
1
Downloads last week:
7
Downloads last month:
56
7-day smoothing