nixvim docs

plugins.coq-thirdparty.enable

Whether to enable coq-thirdparty.

Type: boolean

Default: false

Example: true

Declared by:

• <nixvim/plugins/completion/coq-thirdparty.nix>

plugins.coq-thirdparty.package

Which package to use for the coq-thirdparty plugin.

Type: package

Default: <derivation vimplugin-coq.thirdparty-2024-04-18>

Declared by:

• <nixvim/plugins/completion/coq-thirdparty.nix>