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.3.tar.gz
md5=c8f21aebcdbc9a82201e0ae2ef27e381
sha512=aa520998f9d4a1f80327a584ddb9a3ad8cea3a846b45784231a4a29a1734d8deed0670ba66fabd097016641c619fd580e09f1da060bfdce4bf4275396d21a8b6
Description
LSP based language server for Coq and its VSCoq user interface
Published: 15 Jan 2025
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