lean

URL: https://github.com/Julian/lean.nvim/

Maintainers: Austin Horstman

plugins.lean.enable

Whether to enable lean.nvim.

Type: boolean

Default: false

Example: true

Declared by:

• <nixvim/plugins/by-name/lean>

plugins.lean.package

The lean.nvim package to use.

Type: package

Default: pkgs.vimPlugins.lean-nvim

Declared by:

• <nixvim/plugins/by-name/lean>

plugins.lean.autoLoad

Whether to automatically load lean.nvim when neovim starts.

Type: boolean

Default: false when lazy-loading is enabled.

Example: false

Declared by:

• <nixvim/plugins/by-name/lean>

plugins.lean.leanPackage

The lean package to use.

Type: null or package

Default: pkgs.lean4

Declared by:

• <nixvim/plugins/by-name/lean>