lean4 4.34.1 maintained
Automatic and interactive theorem prover
- Name
lean4-4.34.1- Package set
- top-level
- Homepage
- https://leanprover.github.io/
- License
- Apache-2.0
- Main program
lean- Source
- pkgs/by-name/le/lean4/package.nix:109
- Derivation
/nix/store/0jrw1hl5wxkg46s1jjx8y9zlrfxnh428-lean4-4.34.1.drv
Maintainers 4
| Handle | Name | Contact | Via |
|---|---|---|---|
| Coda-Coda | Daniel Britten | GitHub · nixpkgs@danielb.space | listed on package |
| jthulhu | Adrien Mathieu | GitHub · adrien.lc.mathieu@gmail.com | listed on package |
| nadja-y | Nadja Yang | GitHub · nadja@njy.dev | listed on package |
| xhalo32 | Niklas Halonen | GitHub · niklas.2.halonen@aalto.fi | listed on package |
Dependencies 10
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| libuv 1.52.1 | buildInputs | 68,883 | single | |
| openssl 3.5.8 | buildInputs | 76,863 | maintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,875 | unmaintained | |
| leangz 0.1.19 | nativeBuildInputs | 12 | single | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| pkg-config 0.29.2 | nativeBuildInputs | 78,016 | unmaintained | |
| versionCheckHook 26.05pre-git | nativeBuildInputs | 78,668 | single setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.