stokes 0.2.0

T1Covered by 1 source · first reported by PyPI / crates.io / RubyGems / Go index / NuGet at 25 Sept, 16:23 UTC

Autonomous cross-boundary systems invariant verification engine built on IBM Bob 2.0