diff --git a/stow/vim/.vimrc b/stow/vim/.vimrc
index 5995924..379ddb4 100644
--- a/stow/vim/.vimrc
+++ b/stow/vim/.vimrc
@@ -82,6 +82,9 @@ Plug 'prabirshrestha/vim-lsp'
 Plug 'sheerun/vim-polyglot'
 Plug 'vifm/vifm.vim'
 
+" Coq
+Plug 'whonore/Coqtail'
+
 call plug#end() 
 
 " }}}