nixsearch
nixsearch / pkg / lean4 / 4.0.0

lean4 4.0.0

Automatic and interactive theorem prover
Linux and macOS last changed

Pin this version

$ devbox add lean4@4.0.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit46688f8eb5cd6f1298d873d4d2b9cf245e09e88e 
$ nix shell github:NixOS/nixpkgs/46688f8eb5cd6f1298d873d4d2b9cf245e09e88e#lean4

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 lean4 46688f8eb5cd
out
/nix/store/bzwlrdhy963g6py8vr2z7w7r5s265r3l-lean4-4.0.0
aarch64-linux
Linux · arm64		 lean4 46688f8eb5cd
out
/nix/store/0nqxs9xs8k98da3ixlqj8m9gy5wdsz2g-lean4-4.0.0
x86_64-darwin
macOS · x86-64		 lean4 46688f8eb5cd
out
/nix/store/bb8ks6bza0qd4yzmdmil1n4wwd6ywj1a-lean4-4.0.0
x86_64-linux
Linux · x86-64		 lean4 46688f8eb5cd
out
/nix/store/yxg2754iqphkaz1aq7hcf8pqivhqn842-lean4-4.0.0
← newer: 4.1.0 all 31 releases

JSON: /v2/pkg?name=lean4 · /v2/resolve?name=lean4&version=4.0.0