search

langserver / langserver.github.io

http://langserver.org
202 stars 182 forks source link

Add coq-lsp for the Coq Proof Assistant #303

Closed ejgallego closed 1 year ago

ejgallego commented 1 year ago

Thank you!