Brewly
Cask

Isabelle

2025-2

Generic proof assistant

Install

brew install --cask isabelle

Details

Type
Cask
Tap
homebrew/cask

Sources

Supported platforms

ArchitecturePlatformsVersionDownload
IntelGolden Gate, Tahoe, Sequoia, Sonoma, Ventura, Monterey, Big Sur2025-2File
SHA-2568f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e
Apple SiliconGolden Gate, Tahoe, Sequoia, Sonoma, Ventura, Monterey, Big Sur2025-2File
SHA-2568f187496e295f169952e944745af9e4ae00c9c1cd2ed4cadbcf7d898e444913e

Package data

30-day installs
20
90-day installs
75
365-day installs
250

Installation data

Installs
isabelle