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-2",
"src": {
"url": "https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz",
"sha256": "8f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e"
},
"installPhase": [
"mkdir -p \"$out/Applications\" && cp -r \"Isabelle2025-2.app\" \"$out/Applications/Isabelle2025-2.app\"",
"mkdir -p \"$out/bin\" && ln -s \"$out/Applications/Isabelle2025-2.app/bin/isabelle\" \"$out/bin/isabelle\""
],
"meta": {
"description": "Generic proof assistant",
"homepage": "https://www.cl.cam.ac.uk/research/hvg/Isabelle/"
}
}