Me metí en muchos problemas al instalar coq en mi Mac (Mavericks) y en realidad no instalé coqide a lo largo de ...
Desafortunadamente, 'brew options coq' no tiene resultados, así que no sé cómo instalarlo correctamente.
Si es demasiado complicado, está bien, agradecería cualquier solución alternativa (como un complemento de texto sublime o similar).
Gracias.
El mismo error (en el binario publicado existente) se informa aquí:
y en los comentarios se proporciona un enlace a las compilaciones recientes:
No sé sobre estabilidad, pero 8.4pl4 parece estar funcionando en Mavericks. Pude construir / instalar siguiendo las instrucciones de README (también podría requerir la instalación de OCaml y otras herramientas, que ya tenía). Parece que el coqide asociado también funciona sin problemas.
No soy un usuario experimentado de Coq, por lo tanto, si hay algunas consideraciones de funcionalidad o estabilidad en esta versión no publicada, estarían muy lejos de mi cabeza.