coqlsp-client
MITCoq language server protocol client implementation
85
Security score
0 known advisories in v1.0.6
Weekly downloads
7
Unpacked size
598.5 kB
Dependencies
6
Last publish
3 years ago
Security advisories
No known vulnerabilities affect v1.0.6.
Downloads — last 30 days
26 total▲ 133.3% vs prior week
Aug 20Sep 18