On 01/16/13 20:14, Danny Gratzer wrote:
> 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?
Having not seen any replies, it might help to detail what "Coq" and
"Proof General" are (germane URLs or a description of your desired
tools would be useful). While folks may not know Coq/PG, there may
be other similar programs/tools that could be modified to fit your
needs.
-tim
--
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
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment