package vscoq-language-server

  1. Overview
  2. Docs

vscoq-language-server 2.0.1+coq8.18

Libraries

This package provides the following libraries (via ocamlobjinfo):

vscoq-language-server.dm

Documentation:

vscoq-language-server.language

Documentation:

vscoq-language-server.lsp

Documentation:

OCaml

Innovation. Community. Security.