Guest0x0/coqoune

CoqIDE-like experience for kakoune

语言：OCaml · GitHub 星标：10 · Fork：1

话题：coq · kakoune · kakoune-plugin

在 GitHub 上查看原仓库