Installing coqtail in nvim with vim-plug

An experience of installing coqtail with vim-plug in neovim for using coq interactively.

coqtail is a user interface for the coq proof assistant that can be used with the vim/nvim editor. Coqtail is available as a vim plugin.

It is probably a good idea to use a plugin manager while installing installing vim plugins. Especially when you are using multiple plugins.

There are many plugin managers available for vim. I use vim-plug, which as they say, is a 'minimalistic vim plugin manager'.

I prefer to use nvim when I need to work with coqtail. First check if the current version of coqtail is supported in the version of nvim that you have.

We can install vim-plug to work with nvim using:

sh -c 'curl -fLo \
    "${XDG_DATA_HOME:-$HOME/.local/share}"/nvim/site/autoload/plug.vim \
    --create-dirs \'

Now ask nvim to use vim-plug by editing the file at `/home/user/.config/nvim/init.vim` and adding the following.

" Plugins will be downloaded under the specified directory.
call plug#begin('~/.config/nvim/plugged')

" Make sure you use single quotes
Plug 'whonore/Coqtail'

" Initialize plugin system
call plug#end()

Afterwards, start nvim and do:


to install the plugins that we mention.

and run


to make sure that the plugin is loaded automatically when required.

This command needs to be run every time a plugin is installed, updated or deleted.

And now you should be good to go. :-)

Update (23-Apr-2023): Had forgotten to mention that we need the pynvim python package (pip3 install pynvim) as well for coqtail to work.