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

Which package to use for the coq_nvim plugin.

Type: package

Default: <derivation vimplugin-coq_nvim-2024-04-26>

Declared by:

plugins.coq-nvim.artifactsPackage

Package to use for coq-artifacts (when enabled with installArtifacts)

Type: package

Default: <derivation vimplugin-coq.artifacts-2024-03-01>

Declared by:

plugins.coq-nvim.installArtifacts

Whether to enable and install coq-artifacts.

Type: boolean

Default: false

Example: true

Declared by: