isabelle

Name: Isabelle

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

/api/cask/isabelle.json (JSON API)

Cask code on GitHub

Current version: 2018

Fork me on GitHub