Showing posts with label Coq. Show all posts
Showing posts with label Coq. Show all posts

Saturday, October 29, 2016

macOS Sierra: Installing Coq (Proof assistant)

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