package vscoq-language-server

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