lean
Version: 4.35.0Lean 4 programming language and theorem prover
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 leanDeclare 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 leanDependencies (12)
Dependency changes
Loading diff…
Could not load the dependency diff for one of the selected versions. Try again.
No dependency changes
The two selected versions have identical direct dependencies.
| Name | Version | Kind |
|---|
Dependants (1)
| Name | Version |
|---|---|
| aeneas-latest | 20261022 |
- Lines:+75 / -4Deps:11(+2)Released:
- Lines:+43Deps:9Released:
- Lines:+2 / -2Deps:9Released:
- Lines:+1Deps:9Released:
- Lines:+1 / -1Deps:9Released:
- Lines:+5 / -2Deps:9Released:
- Lines:+4 / -1Deps:9Released:
- Lines:+1Deps:9Released:
- Lines:+108Deps:9(+9)Released:
No direct advisories
This package inherits 2 transitive advisories from its dependencies.
Showing 2 transitive advisories via lean's dependencies
No advisories match the current filters.
Build provenance
Loading provenance
Build provenance
Sign in to see provenance at this commit.
Build provenance
Could not load provenance.
For the signed record of what the build used, see the Provenance tab.
66 components
No components match your filter.
| Packages | Version |
|---|---|
| leanROOT | 4.35.0 |
| acl | 2.4.0 |
| attr | 2.6.0 |
| autoconf | 2.73 |
| automake | 1.18.1 |
| bash | 5.3 |
| bash-bootstrap | 5.3 |
| binutils | 2.47 |
| bison | 3.8.2 |
| bzip2 | 1.0.8 |
| cadical | 2.1.3 |
| cmake | 4.4.4 |
| coreutils | 9.12 |
| curl | 8.23.0 |
| diffutils | 3.12 |
| expat | 2.9.0 |
| file | 5.48 |
| findutils | 4.11.0 |
| flex | 2.6.4 |
| gawk | 5.4.1 |
| gawk-bootstrap | 5.4.1 |
| gcc | 15.2.0 |
| gdbm | 1.26 |
| gettext | 1.0 |
| git | 2.56.0 |
| glibc | 2.44 |
| gmp | 6.3.0 |
| grep | 3.12 |
| gzip | 1.15 |
| libcap | 2.78 |
| libffi | 3.8.0 |
| libidn2 | 2.3.8 |
| libpsl | 0.23.3 |
| libssh2 | 1.11.1 |
| libtool | 2.6.2 |
| libunistring | 1.4.2 |
| libuv | 1.53.0 |
| linux_headers | 6.12.43 |
| llvm | 21.1.8 |
| llvm-bootstrap | 21.1.8 |
| lz4 | 1.10.0 |
| m4 | 1.4.21 |
| make | 4.4.1 |
| meson | 1.12.0 |
| mpc | 1.4.1 |
| mpfr | 4.2.2 |
| ncurses | 6.6 |
| ninja | 1.13.2 |
| openssl | 3.6.5 |
| patch | 2.8 |
| pcre2 | 10.49 |
| perl | 5.44.0 |
| pkgconf | 3.0.5 |
| python | 3.14.9 |
| readline | 8.3 |
| rust | 1.99.0 |
| rustc-1.98.1 | 1.98.1 |
| sed | 4.10 |
| setuptools | 84.2.1 |
| sqlite | 3.54.0 |
| tar | 1.35 |
| tzdata | 2026e |
| util-linux | 2.42.4 |
| xz | 5.8.4 |
| zlib | 1.3.2 |
| zstd | 1.5.7 |