Sono entrato in un sacco di problemi con l'installazione di coq sul mio Mac (Mavericks) e in realtà non ho installato coqide lungo ...
Purtroppo "brew options coq" non ha risultati quindi non so come installare correttamente coqide.
Se è troppo complicato, va bene, accetterei qualsiasi soluzione alternativa (come un plug-in di testo sublime o simile).
Grazie.
Lo stesso bug (nel binario rilasciato esistente) è riportato qui:
e nei commenti viene fornito un collegamento alle build recenti:
Non conosco la stabilità, ma 8.4pl4 sembra funzionare su Mavericks. Sono stato in grado di creare / installare le seguenti istruzioni README (potrebbe inoltre richiedere l'installazione di OCaml e altri strumenti, cosa che ho già avuto). Anche il coqide associato sembra funzionare senza problemi.
Non sono un utente esperto di Coq, quindi se ci sono delle funzionalità o considerazioni sulla stabilità in questa versione non pubblicata, allora potrebbero andare molto oltre la mia testa.