the-lambda-church/coquille

Error: Coqtop isn't running. Are you sure you called :CoqLaunch?

adityavkk opened this issue · 2 comments

adityavkk commented

I've got Coq installed and I keep getting this error even after calling :CoqLaunch

mheiber commented

@adityavkk how did you solve the problem? I'm seeing the same thing

mheiber commented

Figured it out: didn't have coq installed. Doh.

  • 😄1