isabelle 2024
Generic proof assistant
Linux and macOS
last changed
Pin this version
$ devbox add isabelle@2024
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitebe4301cbd8f81c4f8d3244b3632338bbeb6d49c
$ nix shell github:NixOS/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c#isabelle
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
isabelle |
ebe4301cbd8f | out/nix/store/brzvsh9dc3k469hnffa4isabxwx8kd0v-isabelle-2024 |
||
aarch64-linuxLinux · arm64 |
isabelle |
ebe4301cbd8f | out/nix/store/zskddzkf7j3kk9bzaqcilykx548n1lli-isabelle-2024 |
||
x86_64-darwinmacOS · x86-64 |
isabelle |
ebe4301cbd8f | out/nix/store/h6yy2ffqdl0gxza4pwgzyjc2pb1fx0vd-isabelle-2024 |
||
x86_64-linuxLinux · x86-64 |
isabelle |
ebe4301cbd8f | out/nix/store/6j0pn6dmyh9a6cfaf4rlmiaqwcri0ln7-isabelle-2024 |
JSON: /v2/pkg?name=isabelle · /v2/resolve?name=isabelle&version=2024