-
Notifications
You must be signed in to change notification settings - Fork 34
Home
Emilio Jesús Gallego Arias edited this page Jan 3, 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.
We aim to meet often to discuss about coq-lsp development, see the Coq LSP Calls pages for more details.