nixsearch / pkg / lean4
lean4
Automatic and interactive theorem prover
version4.30.0
attributelean4
rev
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
aarch64-darwin 8d5d270900d3fc75655ea2d9d248b234f6631439 aarch64-linux 8d5d270900d3fc75655ea2d9d248b234f6631439 x86_64-darwin 3d46470bb3030020f7e1361f33514854f5bfa86d x86_64-linux 8d5d270900d3fc75655ea2d9d248b234f6631439 $ devbox add lean4@4.30.0
$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#lean4 # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#lean4 # aarch64-linux
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#lean4 # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/8d5d270900d3fc75655ea2d9d248b234f6631439#lean4 # x86_64-linux
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 4.30.0resolved | ✓ | ✓ | ✓ | ✓ | lean4 |
varies | ||
| 4.29.1 | ✓ | ✓ | ✓ | ✓ | lean4 |
4a29d733e8 | ||
| 4.29.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
b86751bc40 | ||
| 4.28.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
09061f748e | ||
| 4.27.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
48698d12cc | ||
| 4.26.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
a1bab9e494 | ||
| 4.25.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
f665af0cdb | ||
| 4.24.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
1d4c88323a | ||
| 4.23.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
01b6809f7f | ||
| 4.21.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
648f70160c | ||
| 4.20.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
076e8c6678 | ||
| 4.19.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
12a5540765 | ||
| 4.18.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
varies | ||
| 4.17.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
varies | ||
| 4.16.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
2d068ae5c6 | ||
| 4.15.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
50165c4f7e | ||
| 4.12.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
varies | ||
| 4.11.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
de1864217b | ||
| 4.10.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
566e53c2ad | ||
| 4.9.1 | ✓ | ✓ | ✓ | ✓ | lean4 |
268bb5090a | ||
| 4.9.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
5ed627539a | ||
| 4.8.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
9b10b8f00c | ||
| 4.7.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
a9858885e1 | ||
| 4.6.1 | ✓ | ✓ | ✓ | ✓ | lean4 |
080a4a27f2 | ||
| 4.6.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
244ee5631a | ||
| 4.5.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
9a9dae8f63 | ||
| 4.4.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
160b762eda | ||
| 4.3.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
fd04bea4cb | ||
| 4.2.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
varies | ||
| 4.1.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
75a52265bd | ||
| 4.0.0 | ✓ | ✓ | ✓ | ✓ | lean4 |
46688f8eb5 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.