Geeks
mendes-davi
/
coq_luasnip
luasnip completion source for coq_nvim
Primary Language
Lua
Apache License 2.0
Apache-2.0
coq_luasnip GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Stargazers
danknil
fritzblue
hekatx
mclaughlinconnor