PyPI page
Summary:
Declare what must stay true. invariant runs the checks and writes a proof bundle, not just a pass/fail line.
Latest version:
0.2.1
Required dependencies:
pyyaml
Optional dependencies:
psycopg
Downloads last day:
0
Downloads last week:
16
Downloads last month:
521
7-day smoothing