diff --git a/nvim/.config/nvim/after/plugin/coqtail.vim b/nvim/.config/nvim/after/plugin/coqtail.vim
new file mode 100644
index 0000000..ee66f30
--- /dev/null
+++ b/nvim/.config/nvim/after/plugin/coqtail.vim
@@ -0,0 +1,2 @@
+let g:coqtail_nosyntax         = 1
+let g:coqtail_noindent_comment = 1
diff --git a/nvim/.config/nvim/lua/plugins.lua b/nvim/.config/nvim/lua/plugins.lua
index e8c33b6..23cb67c 100644
--- a/nvim/.config/nvim/lua/plugins.lua
+++ b/nvim/.config/nvim/lua/plugins.lua
@@ -114,6 +114,11 @@ local init = function ()
     'ray-x/lsp_signature.nvim'
   }
   -- Language support & syntax highlighting
+  -- Coq
+  use {
+    'whonore/Coqtail',
+    'jlapolla/vim-coq-plugin'
+  }
   -- Haskell
   use 'neovimhaskell/haskell-vim'
   use {