dotfiles/modules/programs/nvim/plugins/coq-nvim.lua

vim.g.coq_settings = {
  auto_start = "shut-up",
  keymap = {
    jump_to_mark = "<c-n>",
  },
}