leanPackages.lean4 4.34.1 single
Automatic and interactive theorem prover
- Name
lean4-4.34.1- Package set
- leanPackages
- Homepage
- https://leanprover.github.io/
- License
- Apache-2.0
- Main program
lean- Source
- pkgs/development/lean-modules/lean4/default.nix:104
- Derivation
/nix/store/6q0aryaq1cg4w6xma1xwld7kr3dcr8ax-lean4-4.34.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| nadja-y | Nadja Yang | GitHub · nadja@njy.dev | listed on package |
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| perl 5.42.3 | nativeBuildInputs | 80,356 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| leangz 0.1.19 | other input | 12 | single | |
| lndir 1.0.6 | other input | 22,065 | unmaintained | |
| stdenvNoCC 26.05pre-git | other input | 93,950 | team-only |
Used by 9 directly, 10 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| leanPackages.Cli 4.34.0 | nativeBuildInputs | 3 | single | |
| leanPackages.batteries 4.34.0-unstable-2026-09-14 | nativeBuildInputs | 3 | single | |
| leanPackages.LeanSearchClient 4.34.0-unstable-2026-09-14 | nativeBuildInputs | 2 | single | |
| leanPackages.Qq 4.34.0-unstable-2026-09-14 | nativeBuildInputs | 2 | single | |
| leanPackages.aesop 4.34.0-unstable-2026-09-14 | nativeBuildInputs | 2 | single | |
| leanPackages.importGraph 4.34.0-unstable-2026-09-14 | nativeBuildInputs | 2 | single | |
| leanPackages.plausible 4.34.0-unstable-2026-09-14 | nativeBuildInputs | 2 | single | |
| leanPackages.proofwidgets 0.0.111-unstable-2026-09-14 | nativeBuildInputs | 2 | single | |
| leanPackages.mathlib__archive 4.34.1 | nativeBuildInputs | 1 | single |