dev-util/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
Screenshots
View
Download
BrowseRuntime Dependencies
coq-lsp-0.1.9
=sci-mathematics/coq-8.19*:=
sci-mathematics/coq-serapi:=
dev-ml/cmdliner:=
dev-ml/yojson:=
dev-ml/uri:=
dev-ml/dune-build-info:=
dev-ml/menhir:=
dev-ml/ppx_inline_test:=
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=
sci-mathematics/coq-serapi:=
dev-ml/cmdliner:=
dev-ml/yojson:=
dev-ml/uri:=
dev-ml/dune-build-info:=
dev-ml/menhir:=
dev-ml/ppx_inline_test:=
>=dev-lang/ocaml-4:=[ocamlopt?
]
dev-ml/dune:=