By impadmin, May 10, 2020 Posted in: Brew Install mac, cask

This article explains the steps to install Isabelle on MAC OSX using homebrew cask

  • App Name – Isabelle
  • App Version – 2020
  • App url – https://www.cl.cam.ac.uk/research/hvg/Isabelle/
  • App dmg file – packagedmglink
  • App appcast link – https://mirror.cse.unsw.edu.au/pub/isabelle/dist/

Steps To Install Isabelle

  • Open Spotlight search using “command + space” button and type “Terminal“. Then press “return/enter” key. This will open terminal.

    spotlight search terminal

  • Run the following command in terminal to install brew cask

    ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null ; brew install caskroom/cask/brew-cask 2> /dev/null

    Install brew cask on mac

  • Now install Isabelle with the following command

    brew install --cask isabelle

  • Isabelle is installed now and ready to use!