vampire 4.5.1
Vampire Theorem Prover
Linux and macOS
last changed
Pin this version
$ devbox add vampire@4.5.1
$ nix shell github:NixOS/nixpkgs/6f05cfdb1e78d36c0337516df674560e4b51c79b#vampire
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
vampire |
6f05cfdb1e78 | |||
x86_64-darwinmacOS · x86-64 |
vampire |
6f05cfdb1e78 | |||
x86_64-linuxLinux · x86-64 |
vampire |
6f05cfdb1e78 |
JSON: /v2/pkg?name=vampire · /v2/resolve?name=vampire&version=4.5.1