PyPI page
Home page
Author:
Tim Jacoby
Summary:
Proof-carrying Python functions via Z3 — annotate, verify, ship.
Latest version:
0.3.0
Required dependencies:
z3-solver
Optional dependencies:
hypothesis
|
mkdocs-autorefs
|
mkdocs-material
|
mkdocstrings
|
mypy
|
pytest
|
pytest-asyncio
|
pytest-cov
|
pytest-timeout
|
ruff
Downloads last day:
4
Downloads last week:
18
Downloads last month:
32