the-lambda-church / coquille

Interactive theorem proving with Coq in vim.
ISC License
186 stars 68 forks source link

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

Closed adityavkk closed 7 years ago

adityavkk commented 7 years ago

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

mheiber commented 6 years ago

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

mheiber commented 6 years ago

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