@informalsystems/quint-language-server v0.15.1

Quint Language Server

A language server for the Quint specification language.

Installation

Install the latest published version from npm:

npm i @informalsystems/quint-language-server -g

Usage

There are currently three clients for this server:

1. The Quint VSCode extension
2. The Quint LSP client for Emacs
3. A Neovim LSP client

(1) and (2) are capable of downloading and installing this server for you. (3) requires manual installation (for now).