lean

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

Maintainers: Austin Horstman

Neovim support for the Lean theorem prover.

plugins.lean.enable

Whether to enable lean.

Type: boolean

Default:

false

Example:

true

Declared by:

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

plugins.lean.package

The lean 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 when neovim starts.

Type: boolean

Default: false when lazy-loading is enabled.

Example:

false

Declared by:

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