tomtomjhj/coq-lsp.nvim tomtomjhj/coq-lsp.nvim

  • Stars
    star
    12
  • Rank 1,588,456 (Top 32 %)
  • Language
    Lua
  • Created over 1 year ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomtomjhj/coq-lsp.nvim
github

tomtomjhj

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Neovim client for coq-lsp

More Repositories

1

init.vim

Some vim/nvim configuration. Warning: Viewer discretion is advised.
Vim Script
4
star
2

coq.ctags

Universal Ctags optlib parser for Coq
Coq
3
star