Results for semprove

Found in 1 of 7 ecosystemsnpm 1–1 of 1

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

npm matches

1 match · JavaScript

semprovev0.1.0

npm

SMT-backed semantic diff tool for TypeScript business logic. Proves equivalence or finds counterexamples.

Maintained. Maintained, actively maintained.