coq-nvim

URL: https://github.com/ms-jpq/coq_nvim/

Maintainers: Quentin Boyer, Kareem Medhat

plugins.coq-nvim.enable

Whether to enable coq_nvim.

Type: boolean

Default: false

Example: true

Declared by:

plugins.coq-nvim.package

The coq_nvim package to use.

Type: package

Default: pkgs.vimPlugins.coq_nvim

Declared by:

plugins.coq-nvim.artifactsPackage

The coq-artifacts package to use. Installed when installArtifacts is enabled.

Type: package

Default: pkgs.vimPlugins.coq-artifacts

Declared by:

plugins.coq-nvim.installArtifacts

Whether to enable and install coq-artifacts.

Type: boolean

Default: false

Example: true

Declared by: