search

the-lambda-church / coquille

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

added shortcuts for queries #78

Open BelegCuthalion opened 5 years ago

BelegCuthalion commented 5 years ago

This could be the worst way to do this. Sorry, I don't know vimscript.