Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Camlp4.
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using OCaml and Camlp4.
To install coq, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install coq
To see what files were installed by coq, run:
port contents coq
To later upgrade coq, run:
sudo port selfupdate && sudo port upgrade coq
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.