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
Requirements: macOS >= 10.11
Analytics:
Installs (30 days) | |
---|---|
isabelle |
14 |
Installs (90 days) | |
isabelle |
34 |
Installs (365 days) | |
isabelle |
150 |