Slow When Loading Python File

[fishbotics]

Hi,

I'm not sure if this is the right place to post, but my Neovim is super slow when I'm loading a Python file. It seems that the issue is coming from Coq and I am wondering if anyone here has a good tip on what to do.

When I remove the following lines, the slowdown goes away

local coq = require("coq")
for lsp, settings in pairs(lsp_servers) do
	require("lspconfig")[lsp].setup(coq.lsp_ensure_capabilities({
		on_attach = function(_, buffer)
			server_maps({ buffer = buffer })
		end,
		settings = settings,
	}))
end

I'm attached my whole init.lua just in case (had to rename it to a txt file be able to upload).
init.lua