lean4

Options

languages.lean4.enable

Whether to enable tools for lean4 development.

Type: boolean

Default:

false

Example:

true

Declared by:

• https://github.com/cachix/devenv/blob/main/src/modules/languages/lean4.nix

languages.lean4.package

The lean4 package to use.

Type: package

Default:

pkgs.lean4

Declared by:

• https://github.com/cachix/devenv/blob/main/src/modules/languages/lean4.nix

Last updated Oct 11, 2026