Welcome to the coq-lsp wiki! For now, we use this wiki mostly to track meeting notes; see the repository for documentation on the protocol.

See Coq LSP Calls for schedule.

We aim to meet often to discuss about coq-lsp development, see the Coq LSP Calls pages for more details.