Integrate with coq-lsp? #7
Description
Might be interesting to use https://github.com/ejgallego/coq-serapi instead of talking to coqtop directly.
{{ message }}
Might be interesting to use https://github.com/ejgallego/coq-serapi instead of talking to coqtop directly.