Sign in Sign up
npm

@informalsystems/quint

Core tool for the Quint specification language

npm View on Npm github View on Github

Activity

Latest release
5mo ago
Total releases
60
Cadence
~15 days
Last 12 months
4

Reach

Stars
—

Details

License
Apache-2.0
First release
Dec 22, 2022
Releases
Version Released
0.32.0 minor
0.31.0 minor
0.30.0 minor
0.29.1 patch
0.29.0 minor
0.28.0 minor
0.27.0 minor
0.26.0 minor
0.25.1 patch
0.25.0 minor
0.24.0 minor
0.23.1 patch
0.23.0 minor
0.22.4 patch
0.22.3 patch
0.22.2 patch
0.22.1 patch
0.22.0 minor
0.21.2 patch
0.21.1 patch
0.21.0 minor
0.20.0 minor
0.19.4 patch
0.19.3 patch
0.19.2 patch
0.19.1 patch
0.19.0 minor
0.18.3 patch
0.18.2 patch
0.18.1 patch
0.18.0 minor
0.17.1 patch
0.17.0 minor
0.16.0 minor
0.15.0 minor
0.14.4 patch
0.14.3 patch
0.14.2 patch
0.14.1 patch
0.14.0 minor
0.13.0 minor
0.12.0 minor
0.11.4 patch
0.11.3 patch
0.11.2 patch
0.11.1 patch
0.11.0 minor
0.10.0 minor
0.9.1 patch
0.9.0 minor
1–50 of 60