isabelle

Install command: 
brew install --cask isabelle

Name: Isabelle

Generic proof assistant

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

Development: Pull requests

Cask JSON API: /api/cask/isabelle.json

Cask code: isabelle.rb on GitHub

Current version: 2025-2

Requirements: macOS

Artifacts:

Artifact Type Platform
Isabelle2025-2.app -> $APPDIR/Isabelle2025-2.app Artifact Default platforms
$APPDIR/Isabelle2025-2.app/bin/isabelle -> $HOMEBREW_PREFIX/bin/isabelle Binary Default platforms

Analytics:

30 days90 days365 days
Installs1375246