Docs
Use :COQhelp to open up a list of help pages!
Help docs are written in markdown.
Use :COQhelp -w or :COQhelp --web to open help pages in a browser window if possible.
Use :COQhelp {topic} or :COQhelp {topic} --web to visit a particular topic for more information
Commands
COQnow
Launch coq.nvim with a greeting.
COQdeps
:COQdeps will install all of coq.nvim's dependencies locally.
Dependencies will be privately installed inside coq.nvim's git root under .vars/runtime.
Running rm -rf on coq_nvim/ will cleanly remove everything coq.nvim installs to your local system.
COQstats
Launch a window and show performance data.