mathema 0.6.0

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

A Python verification engine for Claim-Driven Development: state explicit mathematical claims about code and adjudicate them against symbolic and empirical evidence.

devreleases

Sources

• T1mathema 0.6.0PyPI / crates.io / RubyGems / Go index / NuGet24 Sept, 23:19