Isabelle
Cask Utilities v2025
Generic proof assistant
Install 1
App in
Terminal
$
brew install --cask 'isabelle'
System Requirements
macOS:
Installs
$APPDIR/Isabelle2025-2.app/bin/isabelle
Install Statistics 33.8% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 29 | 65 | 181 |
| Avg Daily Installs | 1 | 1 | 0 |