package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

VSCoq language server

Install

Dune Dependency

github.com Readme Edit opam file Versions (14)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vscoq-language-server-2.2.6.tar.gz

md5=f528c1760966ac10d48b5f1c5531411a

sha512=1f69538ae5f78854b34e3f1a9d408714843e899bb96d063c2bfac410339b6a13ee5f30d5e7b3cd2bbd673169bcfdb550153ba741092cdc3ee3a8ca6446cc2240

Description

LSP based language server for Coq and its VSCoq user interface

Published: 20 May 2025

README

VSCoq Language Server

This is a language server for Coq speaking LSP with a few additional messages which are VSCoq specific (e.g. declaring a point of interest, printing goals).

SEL is a simple event library used to handle I/O
DM is a document manager for Coq with support for delegation via SEL
vscoqtop is a Coq toplevel speaking LSP based on DM and SEL

Dependencies (16)

sel >= "0.6.0"
lsp >= "1.15"
result >= "1.5"
ppx_optcomp
ppx_import
ppx_yojson_conv
sexplib
ppx_deriving
ppx_sexp_conv
ppx_assert
ppx_inline_test
ocamlfind
jsonrpc >= "1.15"
yojson
dune >= "3.5"
ocaml >= "4.14"

Dev Dependencies (2)

coq-stdlib ((>= "8.18" & < "9.1") | (= "dev"))
coq-core ((>= "8.18" & < "9.1") | (= "dev"))

Used by

None

Conflicts

None

On This Page

Description
Readme
Dependencies (16)
Dev Dependencies (2)
Used by
Conflicts