isabelle
Install command:
brew install --cask isabelleName: Isabelle
Generic proof assistant
https://www.cl.cam.ac.uk/research/hvg/Isabelle/
/api/cask/isabelle.json (JSON API)
Cask code on GitHub
Current version: 2024
Requires: macOS >= 10.11
Analytics:
| Installs (30 days) | |
|---|---|
isabelle |
22 |
| Installs (90 days) | |
isabelle |
47 |
| Installs (365 days) | |
isabelle |
151 |
