The aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.
The aim of Proof General is to provide powerful and configurable interfaces which help user-interaction with proof assistants. Proof General targets power users rather than novices, but is designed to be useful to both. Proof General leads to an environment for serious proof engineering of interactively-constructed proofs.
To install ProofGeneral, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install ProofGeneral
To see what files were installed by ProofGeneral, run:
port contents ProofGeneral
To later upgrade ProofGeneral, run:
sudo port selfupdate && sudo port upgrade ProofGeneral
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.