tomtomjhj/coq-lsp.nvim

Issues

• Is there a way to display messages, not just goals

  #6 opened 8 months ago by dylech30th
  2

• What version of coq-lsp does this plugin support?

  #4 opened a year ago by DieracDelta
  3

• Upstream the lspconfig configuration

  #5 opened a year ago by Julian
  1

• index out of range

  #3 opened a year ago by gleachkr
  2

• How to customize the coq goals panel？

  #2 opened a year ago by Allen191819
  1

• Try to answer some questions on the comments

  #1 opened 2 years ago by ejgallego
  2