Giters
gares
/
vscoq-language-server
Language server for Coq
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
3
Issues:
3
Forks:
2
gares/vscoq-language-server Issues
Where is the documention on how Coq communicates with VSCode via LSP?
Updated
2 years ago
Comments count
2
test suite
Closed
3 years ago
i/o error handling in delegationManager
Closed
3 years ago