install

Additional install commands

macOS

Homebrew Caskverified · 100%

brew install --cask isabelle

local Homebrew cask metadata

overview

Package summary

Generic proof assistant

Project links

Commands and aliases

isabelle

security posture

No protected-tool coverage found yet

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

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
No Homebrew bottle metadata was recorded.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

Command	Kind	Exposure	Note
`isabelle`	binary	Homebrew cask binary	isabelle

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-04

manager version2025-2

manager updated

local dataok

upstreamnot checked

latest detectednot detected

https://www.cl.cam.ac.uk/research/hvg/Isabelle/

infoNo package-manager update timestamp was available.low confidence
infoRelease/tag comparison is only available for GitHub repositories.https://www.cl.cam.ac.uk/research/hvg/Isabelle/none confidence

install metadata

Package metadata

Package key	cask:isabelle
Version	2025-2
Package manager	Homebrew Cask
Package manager page	https://formulae.brew.sh/cask/isabelle
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
SHA-256	8f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e
Bottle	not recorded
Homebrew post-install	not defined
Service	none declared

registry facts

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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

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

Install isabelle with Homebrew Cask