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.0.1-coq8.18.tar.gz
md5=0bb4d33ce17c0ff2922b089b62ef6477
sha512=f1918867f09a3bba3276490f9aaae899117d8a37e4e7e2d8d64bf65dc0ad72b0708a7c3075ceaedd86e8ced70796df62169cf7277049b6a45117e3e666187017
Description
LSP based language server for Coq and its VSCoq user interface
Published: 22 Sep 2023
Dependencies (18)
-
sel
>= "0.4.0" -
lsp
>= "1.15" & < "1.19.0" -
result
>= "1.5" - 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
-
coq-stdlib
>= "8.18" & < "8.19" -
coq-core
>= "8.18" & < "8.19" -
dune
>= "3.2" -
ocaml
>= "4.13.1"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page