# lean4

## Options

### languages.lean4.enable

Whether to enable tools for lean4 development.

*Type:* boolean

*Default:*

```nix
false
```

*Example:*

```nix
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:*

```nix
pkgs.lean4
```

*Declared by:*

* <https://github.com/cachix/devenv/blob/main/src/modules/languages/lean4.nix>