Home

Jump to bottom

Emilio Jesús Gallego Arias edited this page Feb 27, 2023 · 6 revisions

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.

Developers and users meeting

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.