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>