About the App
- App name: proof-general
- App description: Emacs-based generic interface for theorem provers
- App website: http://proofgeneral.inf.ed.ac.uk
Install the App
Command+Spaceand type Terminal and press enter/return key.
- Copy and paste the following command in Terminal app:
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
and press enter/return key. Wait for the command to finish. If you are prompted to enter a password, please type your Mac user's login password and press ENTER. Mind you, as you type your password, it won't be visible on your Terminal (for security reasons), but rest assured it will work.
- Now, copy/paste and run this command to make brew command available inside the Terminal:
echo 'eval "$(/opt/homebrew/bin/brew shellenv)"' >> ~/.zprofile
- Copy and paste the following command:
brew install proof-general
Done! You can now use