Neovim support?

[DieracDelta]

Would it be possible to add neovim support for this? I'd be interested in helping if it's not that difficult.

[K-dizzled]

Hello! In general, we would love to expand the variety of ways to interact with a plugin, e.g. completions might be made even in CI.

I guess the biggest concern with neovim might be coq-lsp and luckily there already is a client for it in neovim. I do not have neovim plugin development experience, but I assume we could use the node.js lsp-client for neovim and mostly reuse the code from this repo.

However right now we wanted to focus on solving all present issues and bugs with the plugin, extending its core possibilities, and only afterwards, extending the UI/platform-diversity.

It will be great to keep in touch if you are interested and we would love to create a more diverse interaction interface after we expand the core of the plugin!