package vscoq-language-server
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
VSCoq language server
Install
Dune Dependency
Authors
Maintainers
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
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