Isabelle
Generic proof assistant
CaskEducation & ScienceApple silicon · Intel
From homebrew/cask
30-day installs21#1638 in App
1-year installs253Last 365 days
Latest version2025-22 days ago · Oct 7
Download size1.7GBarm64 / x86_64 · gz
Release cadenceIrregular0 releases in 30 days
- System requirements
- Not confirmed
Platform availability
- macOS 27 · Intel · 2025-2 Not confirmed
- macOS 27 · Apple chip · 2025-2 Not confirmed
- macOS 26 · Intel · 2025-2 Not confirmed
- macOS 26 · Apple chip · 2025-2 Not confirmed
- macOS 15 · Intel · 2025-2 Not confirmed
- macOS 15 · Apple chip · 2025-2 Not confirmed
- macOS 14 · Intel · 2025-2 Not confirmed
- macOS 14 · Apple chip · 2025-2 Not confirmed
- macOS 13 · Intel · 2025-2 Not confirmed
- macOS 13 · Apple chip · 2025-2 Not confirmed
- macOS 12 · Intel · 2025-2 Not confirmed
- macOS 12 · Apple chip · 2025-2 Not confirmed
- macOS 11 · Intel · 2025-2 Not confirmed
- macOS 11 · Apple chip · 2025-2 Not confirmed
View full declaration
{
"macos": {}
}- Tap
- homebrew/cask
- Also known as
- Isabelle · isabelle
- Commands
- isabelle
- SHA-256
- 8f187496e295f169…
- Homebrew definition
- github.com/homebrew/homebrew-cask/blob/HEAD/Casks/i/isabelle.rb
- formulae.brew.sh
- formulae.brew.sh/cask/isabelle
Installation and removal contents
Install
artifactSource file: Isabelle2025-2.app
Declared destination: $APPDIR/Isabelle2025-2.app
View full declaration
{ "artifact": [ "Isabelle2025-2.app", { "target": "$APPDIR/Isabelle2025-2.app" } ], "target": "$APPDIR/Isabelle2025-2.app" }Install
binarySource file: $APPDIR/Isabelle2025-2.app/bin/isabelle
Declared destination: $HOMEBREW_PREFIX/bin/isabelle
View full declaration
{ "binary": [ "$APPDIR/Isabelle2025-2.app/bin/isabelle" ], "target": "$HOMEBREW_PREFIX/bin/isabelle" }