# Install isabelle with Homebrew Cask

Generic proof assistant. Version 2025-2 via Homebrew Cask; verified from local package data.

## Install

```sh
sudo av install cask:isabelle
```

Additional install commands:

### macOS

- Homebrew Cask (100%):

```sh
brew install --cask isabelle
```

  Evidence: local Homebrew cask metadata

## Package facts

- **Package key:** cask:isabelle
- **Package manager:** Homebrew Cask
- **Package manager page:** <https://formulae.brew.sh/cask/isabelle>
- **Version:** 2025-2
- **Source summary:** Generic proof assistant
- **Homepage:** <https://www.cl.cam.ac.uk/research/hvg/Isabelle/>
- **Upstream docs:** <https://www.cl.cam.ac.uk/research/hvg/Isabelle/>
- **Source archive:** <https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2025-2_macos.tar.gz>
- **Generated:** 2026-08-04T22:13:35+00:00

## Executables

- isabelle (binary)

## Install behavior

- Post-install hook: not defined
- Bottle: not available

## Freshness

- Page generated: 2026-08-04
- Package-manager version: 2025-2
- Local data: ok
- Upstream repository: https://www.cl.cam.ac.uk/research/hvg/Isabelle/
- info: No package-manager update timestamp was available.
- info: Release/tag comparison is only available for GitHub repositories.

## Security Notes

No matching local secret-handling manifest was found for isabelle. Package metadata is still published here so future coverage has a stable package URL.


## Source Database Details

- **Source Database:** Homebrew cask API
- **Tap:** homebrew/cask
- **Full Token:** isabelle
- **Names:** Isabelle
- **Artifacts:** Artifact: 1, Binary: 1, Target: 2
- **Deprecated:** no
- **Disabled:** no


## Related links

- [Homebrew Cask packages](https://pkg.so/homebrew-cask-packages/) - Generated from Homebrew Cask package-manager metadata.
- [Homebrew Cask binaries](https://pkg.so/homebrew-cask-binaries/) - Cask artifact metadata includes a binary.

## Sources

- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph