invariant-verify 0.2.0

T1Covered by 1 source · first reported by PyPI / crates.io / RubyGems / Go index / NuGet at 25 Sept, 23:15 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.0PyPI / crates.io / RubyGems / Go index / NuGet25 Sept, 23:15