Lean 4 Development Environment

A flake for developing with Lean 4.

Targets

Run the development environment with

nix develop

In that shell, you can access lean. For example: lean --run Main.lean.

Create dependencies for your project by running make-deps.

Start a VSCode instance with Lean extensions already configured for your project, by running code.

You can compile your project into an executable with nix build .#executable.

MIT