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"