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 (12)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vscoq-language-server-2.2.4.tar.gz

md5=44ada383e4a3cb23d883eb720391e9db

sha512=e55ddda2beb5abbe5eb63c7ba6761b1f958dc4674178c4b5741082665d8ad15d481c978685dcf648afebb9b07abd95069347b8651f078d87820399f459e16f17

Description

LSP based language server for Coq and its VSCoq user interface

Published: 20 Feb 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.4.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" & < "8.21") | (= "dev"))
coq-core ((>= "8.18" & < "8.21") | (= "dev"))

Used by

None

Conflicts

None

On This Page

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