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

languages.lean4.lsp.enable

Enable Lean 4 language server support. The language server is included with the main Lean 4 package.

Type: boolean

Default: true