package vscoq-language-server
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
VSCoq language server
Install
dune-project
Dependency
Authors
Maintainers
Sources
vscoq-language-server-2.1.2.tar.gz
md5=9ccbe96d94fdb50b82934df09344cab3
sha512=fb26617cb85f8958433982300edb53b194e2af267e1a9bee98f64cf45d4114407f026eefc6f2f07812906007847e5ac6e47d4602c13a30f3359cda639321fc58
Description
LSP based language server for Coq and its VSCoq user interface
Published: 21 Feb 2024
Dependencies (17)
-
sel
>= "0.4.0" -
lsp
>= "1.15" & < "1.19.0" -
result
>= "1.5" - ppx_optcomp
- ppx_import
- ppx_yojson_conv
- sexplib
- ppx_deriving
-
ppx_yojson_conv
< "v0.16.0" - ppx_sexp_conv
- ppx_assert
- ppx_inline_test
- ocamlfind
-
jsonrpc
>= "1.15" - yojson
-
dune
>= "3.5" -
ocaml
>= "4.13.1"
Dev Dependencies (2)
-
coq-stdlib
((>= "8.18" & < "8.20") | (= "dev")) -
coq-core
((>= "8.18" & < "8.20") | (= "dev"))
Used by
None
Conflicts
None
On This Page