isabelle

Install command:
brew install --cask isabelle

Name: 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: 2021-1

Analytics:

Installs (30 days)
isabelle 15
Installs (90 days)
isabelle 31
Installs (365 days)
isabelle 136
Fork me on GitHub