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: