lsp/coq_lsp.lua


1
2
3
4
5
6
7
8

---@brief
---
--- https://github.com/ejgallego/coq-lsp/
return {
  cmd = { 'coq-lsp' },
  filetypes = { 'coq' },
  root_markers = { '_CoqProject', '.git' },
}