Sign in Sign up
npm

@informalsystems/quint-language-server

Language Server for the Quint specification language

npm View on Npm github View on Github

Activity

Latest release
6mo ago
Total releases
26
Cadence
~16 days
Last 12 months
2

Reach

Stars
—

Details

License
Apache-2.0
First release
Sep 05, 2023
Releases
Version Released
0.19.0 minor
0.18.0 minor
0.17.0 minor
0.16.0 minor
0.15.1 patch
0.15.0 minor
0.14.9 patch
0.14.8 patch
0.14.7 patch
0.14.6 patch
0.14.5 patch
0.14.4 patch
0.14.3 patch
0.14.2 patch
0.14.1 patch
0.14.0 minor
0.13.7 patch
0.13.2 patch
0.13.1 patch
0.13.0 minor
0.12.1 patch
0.12.0 minor
0.11.0 minor
0.10.0 minor
0.9.0 minor
0.8.0 initial