coq-thirdparty

URL: https://github.com/ms-jpq/coq.thirdparty/

Maintainers: Gaetan Lepage

plugins.coq-thirdparty.enable

Whether to enable coq-thirdparty.

Type: boolean

Default: false

Example: true

Declared by:

The coq-thirdparty package to use.

Type: package

Default: pkgs.vimPlugins.coq-thirdparty

Declared by:

Whether to automatically load coq-thirdparty when neovim starts.

Type: boolean

Default: false when lazy-loading is enabled.

Example: false

Declared by:

Options provided to the require('coq_3p') function.

Type: lua value

Default: { }

Example:

[
  {
    short_name = "nLUA";
    src = "nvimlua";
  }
  {
    short_name = "vTEX";
    src = "vimtex";
  }
  {
    src = "demo";
  }
]

Declared by: