lean 3.51.0 single outdated
Automatic and interactive theorem prover
- Name
lean-3.51.0- Package set
- top-level
- Homepage
- https://leanprover.github.io/
- License
- Apache-2.0
- Source
- pkgs/by-name/le/lean/package.nix:73
- Derivation
/nix/store/4af1616pg3jra73dhg4gpgjpfqlgnyhl-lean-3.51.0.drv- Repology
- outdated, newest version is 4.34.1 · lean (as of 2026-10-07T10:23:38Z)
- Also available as
lean3
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
Dependencies 4
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.