Ask Different is a question and answer site for power users of Apple hardware and software. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I went into a lot of troubles getting coq installed on my Mac (Mavericks) and it actually didn't install coqide along…

Unfortunately 'brew options coq' has no results so I don't know how to install properly coqide.

If it's too complicated, it's fine, I'd welcome any alternate solution (like a sublime text plugin or such).


share|improve this question
Have you tried using the distributed binaries? – Édouard Mar 21 '14 at 23:20
Yes, unfortunately it doesn't work on os x mavericks (it appears to be a known bug), that is why I had to brew --devel to get a more recent version (on which the bug is fixed). That is why I'd like to get coqide separately (to keep something proper). – Théo Winterhalter Mar 22 '14 at 9:38

The same bug (in the existing released binary) is reported here:

and in the comments a link to recent builds is given:

I don't know about stability, but 8.4pl4 appears to be working on Mavericks. I was able to build/install following README instructions (might additionally require install of OCaml and other tools, which I happened to already have.) The associated coqide also appears to be working without trouble.

I am not a seasoned Coq user, so if there are any functionality or stability considerations in this non-published version, then they would be going far over my head.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.