invariant-verify 0.2.1

T1Covered by 1 source · first reported by PyPI / crates.io / RubyGems / Go index / NuGet at 26 Sept, 01:46 UTC

Declare what must stay true. invariant runs the checks and writes a proof bundle, not just a pass/fail line.

releases

Sources

• T1invariant-verify 0.2.1PyPI / crates.io / RubyGems / Go index / NuGet26 Sept, 01:46