How do you install this?

[velllu]

I installed the following plugins: coq_nvim, coq.artifacts, nvim-lspconfig, nvim-lsp-installer. When I install Pyright with nvim-lsp-installer for example I get no python autocompletion

[omentic]

It sounds like you might have not activated the language server. Try running through the nvim-lspconfig debugging guide. I'm using Jedi, but I was initially missing the language server snippet needed from my init.vim.

What does your config file look like?

[kaiuri]

Please, please, please, post your init.lua