isabelle

Install command: 
brew install --cask isabelle

Name: Isabelle

Generic proof assistant

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

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

Cask code: isabelle.rb on GitHub

Current version: 2025

Current version requires: macOS >= 10.11

Analytics:

Installs (30 days)
isabelle 10
Installs (90 days)
isabelle 27
Installs (365 days)
isabelle 151
Fork me on GitHub