tomtomjhj/vsrocq.nvim

A Neovim client for VsCoq 2 vscoqtop.

语言：Lua · GitHub 星标：14 · Fork：2

话题：coq · neovim

在 GitHub 上查看原仓库