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

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vscoq-language-server-2.2.0.tar.gz

md5=1a5e8a51bc5c10d50055364c2d58ef24

sha512=f044284a187a11161740ea93be2d4ffe6a52db3e9e84fbd45b561dc1edd760ecf76a3792609f8e339aba637e1e6a417d47ecaee6a1d9a54d8352a38e9363ec8c

Description

LSP based language server for Coq and its VSCoq user interface

Published: 13 Sep 2024

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" & < "1.19"
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