Search
coqlsp-client
Coq language server protocol client implementation
1.0.0
1.0.1
1.0.2
1.0.3
1.0.4
1.0.5
1.0.6
main:
https:/unpkg.com/coqlsp-client@1.0.6/dist/index.js
Copy URL
module:
https:/unpkg.com/coqlsp-client@1.0.6/dist/index.mjs
Copy URL
Browse on unpkg
