ThreeFx/isabelle.vim

NeoVim extension used in conjunction with coc-isabelle

语言：Vim script · GitHub 星标：6 · Fork：1

话题：isabelle · neovim · plugin

在 GitHub 上查看原仓库