Sign in Sign up
npm

quint-vscode

Language support for Quint specifications

npm View on Npm github View on Github

Activity

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

Reach

Stars
—

Details

First release
Oct 02, 2023
Releases
Version Released
0.9.1 initial