diff --git a/files/.vim/ftplugin/coq.vim b/files/.vim/ftplugin/coq.vim
new file mode 100644
index 0000000..b900b80
--- /dev/null
+++ b/files/.vim/ftplugin/coq.vim
@@ -0,0 +1,5 @@
+nnoremap L <Esc>:CoqNext<CR>
+nnoremap H <Esc>:CoqUndo<CR>
+nnoremap <LocalLeader>c <Esc>:CoqToCursor<CR>
+nnoremap <LocalLeader>k <Esc>:CoqKill<CR>
+nnoremap <LocalLeader>l <Esc>:CoqLaunch<CR>
diff --git a/files/.vimrc b/files/.vimrc
index b93a4cc..514d6a7 100644
--- a/files/.vimrc
+++ b/files/.vimrc
@@ -1,5 +1,5 @@
-syntax on
 filetype plugin on
+syntax on
 set colorcolumn=80
 set background=dark
 set number
@@ -68,6 +68,9 @@ Plugin 'vim-airline/vim-airline-themes'
 Plugin 'vim-scripts/a.vim'
 Plugin 'rhysd/vim-clang-format'
 Plugin 'christoomey/vim-tmux-navigator'
+Plugin 'chrisbra/csv.vim'
+Plugin 'let-def/vimbufsync'
+Plugin 'the-lambda-church/coquille'
 
 call vundle#end()            " required
 filetype plugin indent on    " required