coq_nvim
coq_nvim copied to clipboard
Remove the default <C-k> keybinding, because most of neovim users will remap this keybinding including me to get prev result from coq plugin