Installation
System wide:
{
environment.systemPackages = with nix-casks.packages.${system}; [
isabelle # Isabelle
];
}Home Manager:
{
home.packages = with nix-casks.packages.${system}; [
isabelle # Isabelle
];
}Package Definition
{
"pname": "isabelle",
"version": "2025-1",
"src": {
"url": "https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-1_macos.tar.gz",
"sha256": "58a96bb173faa191f2e8d4da69062975db60136406841678b8a6a2eb576d435e"
},
"installPhase": [
"mkdir -p \"$out/Applications\" && cp -r \"Isabelle2025-1.app\" \"$out/Applications/Isabelle2025-1.app\"",
"mkdir -p \"$out/bin\" && ln -s \"$out/Applications/Isabelle2025-1.app/bin/isabelle\" \"$out/bin/isabelle\""
],
"meta": {
"description": "Generic proof assistant",
"homepage": "https://www.cl.cam.ac.uk/research/hvg/Isabelle/"
}
}