PyPI page
Home page
Summary:
Verify annotated production Python: #@ specs compile to runtime contracts and translate to Dafny for SMT proofs.
Latest version:
0.1.0a1
Required dependencies:
icontract
Optional dependencies:
basedpyright
|
crosshair-tool
|
dafnyruntimepython
|
hypothesis
|
pytest
Downloads last day:
1
Downloads last week:
6
Downloads last month:
13
7-day smoothing