❤
npm
Sign UpSign In

quint-vscode

0.9.1 • Public • Published
The request failed while talking to the backend.

Readme

Keywords

none

Package Sidebar

Install

npm i quint-vscode

Repository

github.com/informalsystems/quint

Homepage

github.com/informalsystems/quint#readme

Weekly Downloads

1

Version

0.9.1

License

none

Unpacked Size

177 MB

Total Files

19589

Last publish

Collaborators

  • bugarela
Try on RunKit
Report malware