{
  plugins.coq-nvim = {
    enable = true;
    installArtifacts = true;
  };
}