issues
search
ejgallego
/
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
150
stars
31
forks
source link
Adapt w.r.t. coq/coq#19313.
#802
Closed
ppedrot
closed
2 months ago
SkySkimmer
commented
3 months ago
Please merge now
ppedrot
commented
2 months ago
CI green, I'm merging.
Please merge now