GitHub repository: thomasding/vim-coqide
Primary language: Python
Created: 2018-05-19T07:45:54Z
Description: CoqIDE: syntax highlighting/asynchronous proof/multi-buffer editing/window toggling