Sign in Sign up
npm

@informalsystems/quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

npm View on Npm github View on Github

Activity

Latest release
23h ago
Total releases
62
Cadence
~18 days
Last 12 months
6

Reach

Downloads (recent)
49.2k
Stars
1.9k

Details

License
Apache-2.0
First release
Dec 22, 2022
Releases
Version Released
0.33.1 patch
0.33.0 minor
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
1–50 of 62