isabelle 2025
Generic proof assistant
Linux and macOS
last changed
Pin this version
$ devbox add isabelle@2025
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit16c7794d0a28b5a37904d55bcca36003b9109aaa
$ nix shell github:NixOS/nixpkgs/16c7794d0a28b5a37904d55bcca36003b9109aaa#isabelle
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
isabelle |
16c7794d0a28 | out/nix/store/y619hj198jj8hwv0s5bl83sbr03g3x59-isabelle-2025 |
||
aarch64-linuxLinux · arm64 |
isabelle |
16c7794d0a28 | out/nix/store/z90j073hnisgqjgzri4qi7rq7b6r7hm7-isabelle-2025 |
||
x86_64-darwinmacOS · x86-64 |
isabelle |
16c7794d0a28 | out/nix/store/1v14i6mfs4384lhaxr3bhx7cwdfp2f6c-isabelle-2025 |
||
x86_64-linuxLinux · x86-64 |
isabelle |
16c7794d0a28 | out/nix/store/j0r791pqgj9snsgw1ydxsdma69j728mp-isabelle-2025 |
JSON: /v2/pkg?name=isabelle · /v2/resolve?name=isabelle&version=2025