issues
search
ejgallego
/
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
135
stars
31
forks
source link
Adapt to Coq PR #19185: flattenting of global_declaration indirection.
#796
Closed
herbelin
closed
2 weeks ago
herbelin
commented
2 weeks ago
To be merged synchronously with coq/coq#19185
SkySkimmer
commented
2 weeks ago
Please merge now
To be merged synchronously with coq/coq#19185