nixsearch
nixsearch / pkg / lean4 / 4.11.0

lean4 4.11.0

Automatic and interactive theorem prover
Linux and macOS last changed

Pin this version

$ devbox add lean4@4.11.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitde1864217bfa9b5845f465e771e0ecb48b30e02d 
$ nix shell github:NixOS/nixpkgs/de1864217bfa9b5845f465e771e0ecb48b30e02d#lean4

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 lean4 de1864217bfa
out
/nix/store/8106jnmqn1w6yqk3i3lppqg65n7yrws6-lean4-4.11.0
aarch64-linux
Linux · arm64		 lean4 de1864217bfa
out
/nix/store/i6q170p5d54zll6hhr5vcbykxypj6r34-lean4-4.11.0
x86_64-darwin
macOS · x86-64		 lean4 de1864217bfa
out
/nix/store/7wyxm21zy1lxgn8ql63d42k7dkwagppc-lean4-4.11.0
x86_64-linux
Linux · x86-64		 lean4 de1864217bfa
out
/nix/store/72i06nrzkxhdd67kzbjz1c94vkxkf8im-lean4-4.11.0
← newer: 4.12.0 all 31 releases older: 4.10.0 →

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