package vscoq-language-server

  1. Overview
  2. Docs

vscoq-language-server 2.1.0+coq8.19

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.