nixvim docs

dependencies.lean.enable

Whether to enable Add lean to dependencies…

Type: boolean

Default: false

Example: true

Declared by:

• <nixvim/modules/dependencies.nix>

dependencies.lean.package

The lean package to use.

Type: package

Default: pkgs.lean4

Declared by:

• <nixvim/modules/dependencies.nix>