nixsearch
nixsearch / pkg / leanPackages.mathlib / 4.29.0

leanPackages.mathlib 4.29.0

Mathematical library for Lean 4
Linux and macOS last changed

Pin this version

$ devbox add leanPackages.mathlib@4.29.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit4a29d733e8a7d5b824c3d8c958a946a9867b3eb2 
$ nix shell github:NixOS/nixpkgs/4a29d733e8a7d5b824c3d8c958a946a9867b3eb2#leanPackages.mathlib

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 leanPackages.mathlib 4a29d733e8a7
out
/nix/store/dpfn5v641cfjmknlnfyw7snk48wpi86f-lean4-mathlib-4.29.0
aarch64-linux
Linux · arm64		 leanPackages.mathlib 4a29d733e8a7
out
/nix/store/vfwyamhdskmm5kvx2wvi4i7n0nhnlski-lean4-mathlib-4.29.0
x86_64-darwin
macOS · x86-64		 leanPackages.mathlib 4a29d733e8a7
out
/nix/store/4qxk8490l5m16nkjjvi8iqgkjrr97g7p-lean4-mathlib-4.29.0
x86_64-linux
Linux · x86-64		 leanPackages.mathlib 4a29d733e8a7
out
/nix/store/sksc0vsavggn5j7waw10jmjj2jilyvi1-lean4-mathlib-4.29.0
← newer: 4.30.0 all 2 releases

JSON: /v2/pkg?name=leanPackages.mathlib · /v2/resolve?name=leanPackages.mathlib&version=4.29.0