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: