package vscoq-language-server

  1. Overview
  2. Docs
VSCoq language server

Install

Dune Dependency

Authors

Maintainers

Sources

vscoq-language-server-2.2.1.tar.gz
md5=06737aa7d96bbf42f89db3c86ef3e4dd
sha512=5118f26e5b687bc918de3409870464702f3fafc0c775ad5fac4835fc7954df66beaf83bc3a413476176160773215aae1d292816c49dc192c94566bba0fbe5a5b

Description

LSP based language server for Coq and its VSCoq user interface

Published: 23 Sep 2024

README

VSCoq Language Server

This is a language server for Coq speaking LSP with a few additional messages which are VSCoq specific (e.g. declaring a point of interest, printing goals).

  • SEL is a simple event library used to handle I/O

  • DM is a document manager for Coq with support for delegation via SEL

  • vscoqtop is a Coq toplevel speaking LSP based on DM and SEL

Dev Dependencies (2)

  1. coq-stdlib ((>= "8.18" & < "8.21") | (= "dev"))
  2. coq-core ((>= "8.18" & < "8.21") | (= "dev"))

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.