Installation of Coq on Mac
You can install Coq with Homebrew by simply running
brew install coq
or using MacPorts by running
sudo port install coq
or using the Nix package manager running
nix-env -iA nixpkgs.coq
You can check that your installation was successful by running coqc -v.
The Coq development team will maintain an opam repository for Coq and this will become the preferred way to get Coq on MacOS.
To the extent possible under law, the contributors of the Rocq wiki have waived all copyright and related or neighboring rights to their contributions.
By contributing to the Rocq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.