GitHub repository: tani/isabelle.vim
Primary language: Vim script
Description: NeoVim extension used in conjunction with coc-isabelle