dijkstracula/vim-ivy

Vim syntax plugin for the IVy verification language

语言：Vim Script · GitHub 星标：6 · Fork：0

话题：ivy · vim

在 GitHub 上查看原仓库