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 -- 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
