Lean4

languages.lean4.enable

Whether to enable tools for lean4 development.

Type: boolean

Default: false

Example: true

languages.lean4.package

The lean4 package to use.

Type: package

Default: pkgs.lean4