Giters

onhernandes / custom-coq-snippets

Custom coq_nvim snippets

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

custom-coq-snippets

Custom coq_nvim snippets

About

Custom coq_nvim snippets

License:MIT License

Languages

Language:Vim Snippet 51.4%Language:Lua 48.6%