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

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vscoq-language-server-2.2.3.tar.gz

md5=c8f21aebcdbc9a82201e0ae2ef27e381

sha512=aa520998f9d4a1f80327a584ddb9a3ad8cea3a846b45784231a4a29a1734d8deed0670ba66fabd097016641c619fd580e09f1da060bfdce4bf4275396d21a8b6

Description

LSP based language server for Coq and its VSCoq user interface

Published: 15 Jan 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