the-lambda-church / coquille

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

Fix screenshot link #33

Closed nadimkobeissi closed 9 years ago

trefis commented 9 years ago

Hi!

Thanks for the screenshot and sorry for the delay. I didn't use it in the end, I just made a new one showing of the shinny new colors added by the PRs #35 and #36 .