A simple coq_nvim completion source for conjure.
You can either manually register this completion source or have it autoregister itself.
-- Automatically
vim.g.coq_conjure_autoregister = true
-- Manually
COQsources[< Some id >] = require('coq-conjure').source