coq-lsp
coq-lsp copied to clipboard
_CoqProject won't be loaded from subdirectory
The _CoqProject finding logic doesn't handle the case when _CoqProject appears in a subdirectory of a workspace. This can happen if a certain folder contains all the Coq related things. This is fixed by moving the _CoqProject one level up, but that isn't ideal.