https://pypi.org/project/invariant-verify/ Recent updates to the Python Package Index for invariant-verify en https://pypi.org/project/invariant-verify/0.1.1/ Declare what must stay true. invariant runs the checks and writes a proof bundle, not just a pass/fail line. Tue, 08 Sep 2026 10:44:18 GMT