M. Hossein Jabbarzadeh

icon company @husanco icon location Iran icon location Back-end developer at @husanco.

Results 1 issues of M. Hossein Jabbarzadeh

How to install and configure coq using lazy plugin manager?

7 comment

I use [lazy plugin manager](https://github.com/folke/lazy.nvim) for installing plugins on my neovim. This is how I installed coq: ```lua return { { "ms-jpq/coq_nvim", branch = "coq", }, { "ms-jpq/coq.artifacts", branch =...