PyPI page
Home page
Author:
Harmonic
Summary:
Aristotle SDK - Python library for automated theorem proving with Lean
Latest version:
2.1.0
Required dependencies:
httpx
|
pathspec
|
pydantic
Optional dependencies:
pytest
|
pytest-asyncio
|
ruff
Downloads last day:
1,039
Downloads last week:
6,136
Downloads last month:
34,162
7-day smoothing