Command:
$ brew install coq
Result:
==> Installing dependencies for coq: ocaml, camlp5
==> Installing coq dependency: ocaml
==> Downloading https://homebrew.bintray.com/bottles/ocaml-4.03.0.sierra.bottle.tar.gz
######################################################################## 100.0%
==> Pouring ocaml-4.03.0.sierra.bottle.tar.gz
🍺 /usr/local/Cellar/ocaml/4.03.0: 1,641 files, 173.7M
==> Installing coq dependency: camlp5
==> Downloading https://homebrew.bintray.com/bottles/camlp5-6.16.sierra.bottle.tar.gz
######################################################################## 100.0%
==> Pouring camlp5-6.16.sierra.bottle.tar.gz
🍺 /usr/local/Cellar/camlp5/6.16: 212 files, 23.5M
==> Installing coq
==> Downloading https://homebrew.bintray.com/bottles/coq-8.5pl2.sierra.bottle.tar.gz
######################################################################## 100.0%
==> Pouring coq-8.5pl2.sierra.bottle.tar.gz
==> Caveats
Emacs Lisp files have been installed to:
/usr/local/share/emacs/site-lisp/coq
==> Summary
🍺 /usr/local/Cellar/coq/8.5pl2: 3,959 files, 218.6M
Command:
$ coqc -v
Result:
The Coq Proof Assistant, version 8.5pl2 (September 2016)
compiled on Sep 17 2016 10:2:53 with OCaml 4.03.0
