lsp/vscoqtop.lua


1
2
3
4
5
6
7
8

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