nixsearch
nixsearch / pkg / lean4 / 4.27.0

lean4 4.27.0

Automatic and interactive theorem prover
Linux and macOS last changed

Pin this version

$ devbox add lean4@4.27.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit48698d12cc10555a4f3e3222d9c669b884a49dfe 
$ nix shell github:NixOS/nixpkgs/48698d12cc10555a4f3e3222d9c669b884a49dfe#lean4

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 lean4 48698d12cc10
out
/nix/store/n2c27qym2y28qg5f576rgc1bxcfym8nl-lean4-4.27.0
aarch64-linux
Linux · arm64		 lean4 48698d12cc10
out
/nix/store/7bvdx6wkpawndv7yhb8bq01ll5x88w8x-lean4-4.27.0
x86_64-darwin
macOS · x86-64		 lean4 48698d12cc10
out
/nix/store/yvsp2pyy5v2wkldn2ragiaadc0f8a63r-lean4-4.27.0
x86_64-linux
Linux · x86-64		 lean4 48698d12cc10
out
/nix/store/bk4lkjfp9z9xciwa99y0gjk99sjz7j83-lean4-4.27.0
← newer: 4.28.0 all 31 releases older: 4.26.0 →

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