Coq Installation
Created at 2016-05-07T19:39:55.000Z

Coq installation

$ brew install coq

ProofGeneral installation

Follow the instruction here:

$ wget http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.3pre150930.tgz
$ open http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.3pre150930.tgz
$ cd ProofGeneral-4.3pre150930/ProofGeneral-4.3pre150930
$ make clean; make compile EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs

Add below to init.el file:

(load-file (expand-file-name "~/.emacs.d/nonelpa/ProofGeneral-4.3pre150930/generic/proof-site.elc"))

Because of the known issue, I used pre-released version, which you can download from here.