the-lambda-church / coquille

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

Fix answer message parsing #79

Open Larhard opened 5 years ago

Larhard commented 5 years ago

Fixes #51