plugins.lean.enable

Whether to enable lean-nvim.

Type: boolean

Default: false

Example: true

Declared by:

plugins.lean.package

Which package to use for the lean-nvim plugin.

Type: package

Default: <derivation vimplugin-lean.nvim-2024-04-09>

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

Which package to use for lean. Set to null to disable its automatic installation.

Type: null or package

Default: <derivation lean4-4.7.0>

Declared by:

plugins.lean.mappings

Whether to enable suggested mappings.

Plugin default: false

Type: null or boolean or raw lua code

Default: null

Declared by: