I'm starting to work with Coq and I'd prefer I can't seem to find any tools for Vim like Proof General for interacting with Coq. Are there any such tools out there?
--
Danny Gratzer
-- Danny Gratzer
You received this message from the "vim_use" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
No comments:
Post a Comment