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,450
Downloads last week:
6,652
Downloads last month:
22,636