nixsearch / pkg / python39Packages.mathlibtools / 0.0.10
python39Packages.mathlibtools 0.0.10
Supporting tool for Lean's mathlib
Linux
last changed
Pin this version
$ devbox add python39Packages.mathlibtools@0.0.10
$ nix shell github:NixOS/nixpkgs/5e6da1e9acf9d2dc885bd66496ee35bc5686de48#python39Packages.mathlibtools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
python39Packages.mathlibtools |
5e6da1e9acf9 |
JSON: /v2/pkg?name=python39Packages.mathlibtools · /v2/resolve?name=python39Packages.mathlibtools&version=0.0.10