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