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