← all casks
isabelle
Isabelle
Generic proof assistant
- Version
- v2025-2
- Tap
- homebrew/cask
- Auto-updates
- No
- Languages
- —
- Outdated
- No
auto-updateshomepageactiveenabledup-to-date
Install
shell
$ brew install --cask isabelle