Back to leaderboard
Coq LSP
ejgallego.coq-lsp
Coq LSP provides native vsCode support for checking Coq proof documents
__ext_lv__ext_mv__ext_v__ext_vtex__web_extensioncoqdependent typesGallinainteractive theorem provingkeybindingslatexmarkdownrocqsoftware verificationProgramming LanguagesLinters
Open VSX
Total downloads
6,228
Since yesterday
+2
Current version
v0.2.4
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 6,228 | v0.2.4 |
| 2026-07-02 02:00:00 | 6,226 | v0.2.4 |
| 2026-07-01 02:00:00 | 6,216 | v0.2.4 |
| 2026-06-30 02:00:00 | 6,214 | v0.2.4 |
| 2026-06-29 14:14:45 | 6,214 | v0.2.4 |
| 2026-06-28 07:06:24 | 6,208 | v0.2.4 |