PyPI page
Home page
Author:
None
Summary:
Agentic mathematics workbench: every result is a certificate
Latest version:
0.0.2
Required dependencies:
cvc5
|
cyclopts
|
httpx
|
mpmath
|
patos
|
plumbum
|
pydantic
|
python-flint
|
sympy
|
z3-solver
Optional dependencies:
dirty-equals
|
faker
|
hypothesis
|
mkdocs-material
|
mkdocs-static-i18n
|
mypy
|
pyrefly
|
pytest
|
pytest-cov
|
pytest-mock
|
pytest-subprocess
|
respx
|
ruff
|
syrupy
Downloads last day:
2
Downloads last week:
18
Downloads last month:
252