Sign in Sign up
npm

quint-refinements

Declarative refinement testing between Quint models and Rust implementations

npm View on Npm github View on Github

Activity

Latest release
2w ago
Total releases
1
Cadence
—
Last 12 months
1

Reach

Stars
0

Details

License
MIT
First release
Aug 26, 2026
Releases
Version Released
0.1.0 initial