plugins.lean.enable
Whether to enable lean-nvim.
Type: boolean
Default:
false
Example:
true
Declared by:
plugins.lean.package
The lean-nvim package to use.
Type: package
Default:
pkgs.vimPlugins.lean-nvim
Declared by:
plugins.lean.extraOptions
These attributes will be added to the table parameter for the setup function. Typically, it can override NixVim’s default settings.
Type: attribute set of anything
Default:
{ }
Declared by:
plugins.lean.leanPackage
The lean package to use.
Type: null or package
Default:
pkgs.lean4
Declared by:
plugins.lean.mappings
Whether to enable suggested mappings.
Type: null or boolean or raw lua code
Default:
null
Plugin default: false
Declared by: