GitHub repository: tomtomjhj/vscoq.nvim
Primary language: Lua
Created: 2023-10-02T17:22:18Z
Description: A Neovim client for VsCoq 2 vscoqtop.