Back to search results
lean owner avatar

lean

Lean 4 programming language and theorem prover

Library lean lean4
Minimal

Install package

Latest
min add lean
Source archive SHA256
b50c5423…3974
Spec hash
a4f6380f…c1d7
Target
amd64/linux
Needs network
Yes
Closed source
No

Quick links

[ Docs ] [ Changelog ] [ Repo ] [ Security ] [ SBOM ]

What is lean?

Lean 4 programming language and theorem prover

How to use this package

Quick install

Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.

min add lean

Declare as a task dependency in minimal.toml

Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.

[tasks.dev]
packages = ["lean"]

Build-time vs runtime

Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.

min add --build lean
min add --runtime lean