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,760
Since yesterday
+2
Current version
v0.2.4
Days tracked
65
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 6,760 | v0.2.4 |
| 2026-08-30 02:00:00 | 6,758 | v0.2.4 |
| 2026-08-29 02:00:00 | 6,754 | v0.2.4 |
| 2026-08-28 02:00:00 | 6,750 | v0.2.4 |
| 2026-08-27 02:00:00 | 6,746 | v0.2.4 |
| 2026-08-26 02:00:00 | 6,716 | v0.2.4 |
| 2026-08-25 02:00:00 | 6,714 | v0.2.4 |
| 2026-08-24 02:00:00 | 6,712 | v0.2.4 |
| 2026-08-23 02:00:00 | 6,708 | v0.2.4 |
| 2026-08-22 02:00:00 | 6,704 | v0.2.4 |
| 2026-08-21 02:00:00 | 6,700 | v0.2.4 |
| 2026-08-20 02:00:00 | 6,696 | v0.2.4 |
| 2026-08-19 02:00:00 | 6,694 | v0.2.4 |
| 2026-08-18 02:00:00 | 6,668 | v0.2.4 |
| 2026-08-17 02:00:00 | 6,666 | v0.2.4 |
| 2026-08-16 02:00:00 | 6,664 | v0.2.4 |
| 2026-08-15 02:00:00 | 6,662 | v0.2.4 |
| 2026-08-14 02:00:00 | 6,658 | v0.2.4 |
| 2026-08-13 02:00:00 | 6,656 | v0.2.4 |
| 2026-08-12 02:00:00 | 6,654 | v0.2.4 |
| 2026-08-11 02:00:00 | 6,654 | v0.2.4 |
| 2026-08-10 02:00:00 | 6,652 | v0.2.4 |
| 2026-08-09 02:00:00 | 6,648 | v0.2.4 |
| 2026-08-08 02:00:00 | 6,646 | v0.2.4 |
| 2026-08-07 02:00:00 | 6,620 | v0.2.4 |
| 2026-08-06 02:00:00 | 6,608 | v0.2.4 |
| 2026-08-05 02:00:00 | 6,604 | v0.2.4 |
| 2026-08-04 02:00:00 | 6,602 | v0.2.4 |
| 2026-08-03 02:00:00 | 6,590 | v0.2.4 |
| 2026-08-02 02:00:00 | 6,582 | v0.2.4 |
| 2026-08-01 02:00:00 | 6,574 | v0.2.4 |
| 2026-07-31 02:00:00 | 6,566 | v0.2.4 |
| 2026-07-30 02:00:00 | 6,560 | v0.2.4 |
| 2026-07-29 06:50:17 | 6,552 | v0.2.4 |
| 2026-07-28 02:00:00 | 6,518 | v0.2.4 |
| 2026-07-27 02:00:00 | 6,508 | v0.2.4 |
| 2026-07-26 02:00:00 | 6,504 | v0.2.4 |
| 2026-07-25 02:00:00 | 6,496 | v0.2.4 |
| 2026-07-24 02:00:00 | 6,488 | v0.2.4 |
| 2026-07-23 02:00:00 | 6,482 | v0.2.4 |
| 2026-07-22 02:00:00 | 6,470 | v0.2.4 |
| 2026-07-21 02:00:00 | 6,464 | v0.2.4 |
| 2026-07-20 02:00:00 | 6,458 | v0.2.4 |
| 2026-07-19 02:00:00 | 6,444 | v0.2.4 |
| 2026-07-18 02:00:00 | 6,430 | v0.2.4 |
| 2026-07-17 02:00:00 | 6,422 | v0.2.4 |
| 2026-07-16 02:00:00 | 6,418 | v0.2.4 |
| 2026-07-15 02:00:00 | 6,386 | v0.2.4 |
| 2026-07-14 02:00:00 | 6,264 | v0.2.4 |
| 2026-07-13 02:00:00 | 6,262 | v0.2.4 |
| 2026-07-12 02:00:00 | 6,256 | v0.2.4 |
| 2026-07-11 02:00:00 | 6,252 | v0.2.4 |
| 2026-07-10 02:00:00 | 6,248 | v0.2.4 |
| 2026-07-09 05:29:22 | 6,246 | v0.2.4 |
| 2026-07-08 02:00:00 | 6,242 | v0.2.4 |
| 2026-07-07 02:00:00 | 6,238 | v0.2.4 |
| 2026-07-06 02:00:00 | 6,236 | v0.2.4 |
| 2026-07-05 02:00:00 | 6,234 | v0.2.4 |
| 2026-07-04 02:00:00 | 6,230 | v0.2.4 |
| 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 |