文件名称：Coqtail：Vim中的交互式Coq证明
文件大小：100KB
文件格式：ZIP
更新时间：2024-02-27 04:33:35
vim coq proof-assistant Vim
尾巴 Vim中的交互式Coq证明 Coqtail支持在Vim中进行类似于或交互式Coq证明开发。 它支持： Python 2 和3 Vim> = 7.4和Neovim> = 0.3 不同缓冲区中的同时Coq会话 Vim与Coq之间的非阻塞通信（仅Vim> = 8.0和NeoVim） 安装及要求 作为： mkdir -p ~ /.vim/pack/coq/start git clone https://github.com/whonore/Coqtail.git ~ /.vim/pack/coq/start/Coqtail vim +helptags \ ~ /.vim/pack/co
【文件预览】：
Coqtail-master
----autoload()
--------coqtail.vim(20KB)
--------coqtail()
----.pylintrc(15KB)
----.github()
--------workflows()
----ftplugin()
--------coq.vim(2KB)
----ftdetect()
--------coq.vim(43B)
----indent()
--------coq.vim(11KB)
----python()
--------coqtop.py(19KB)
--------xmlInterface.py(52KB)
--------coqtail.py(49KB)
--------six.py(32KB)
----tests()
--------coq()
--------unit()
--------vim()
----tox.ini(2KB)
----ci()
--------coq.nix(800B)
--------vim.nix(1KB)
----LICENSE(1KB)
----setup.cfg(672B)
----doc()
--------coqtail.txt(10KB)
----.gitignore(101B)
----syntax()
--------coq.vim(36KB)
--------coq-goals.vim(3KB)
--------coq-infos.vim(12KB)
----CHANGELOG.md(6KB)
----README.md(8KB)