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
7,514
Since yesterday
+4
Current version
v0.2.4
Days tracked
125
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-10-30 02:00:00 | 7,514 | v0.2.4 |
| 2026-10-29 02:00:00 | 7,510 | v0.2.4 |
| 2026-10-28 02:00:00 | 7,476 | v0.2.4 |
| 2026-10-27 02:00:00 | 7,472 | v0.2.4 |
| 2026-10-26 02:00:00 | 7,466 | v0.2.4 |
| 2026-10-25 02:00:00 | 7,456 | v0.2.4 |
| 2026-10-24 02:00:00 | 7,448 | v0.2.4 |
| 2026-10-23 02:00:00 | 7,444 | v0.2.4 |
| 2026-10-22 02:00:00 | 7,438 | v0.2.4 |
| 2026-10-21 02:00:00 | 7,430 | v0.2.4 |
| 2026-10-20 02:00:00 | 7,392 | v0.2.4 |
| 2026-10-19 02:00:00 | 7,380 | v0.2.4 |
| 2026-10-18 02:00:00 | 7,376 | v0.2.4 |
| 2026-10-17 02:00:00 | 7,368 | v0.2.4 |
| 2026-10-16 02:00:00 | 7,362 | v0.2.4 |
| 2026-10-15 02:00:00 | 7,332 | v0.2.4 |
| 2026-10-14 02:00:00 | 7,272 | v0.2.4 |
| 2026-10-13 02:00:00 | 7,212 | v0.2.4 |
| 2026-10-12 02:00:00 | 7,152 | v0.2.4 |
| 2026-10-11 02:00:00 | 7,146 | v0.2.4 |
| 2026-10-10 02:00:00 | 7,136 | v0.2.4 |
| 2026-10-09 02:00:00 | 7,132 | v0.2.4 |
| 2026-10-08 02:00:00 | 7,130 | v0.2.4 |
| 2026-10-07 02:00:00 | 7,124 | v0.2.4 |
| 2026-10-06 02:00:00 | 7,122 | v0.2.4 |
| 2026-10-05 02:00:00 | 7,120 | v0.2.4 |
| 2026-10-04 02:00:00 | 7,116 | v0.2.4 |
| 2026-10-03 02:00:00 | 7,110 | v0.2.4 |
| 2026-10-02 02:00:00 | 7,106 | v0.2.4 |
| 2026-10-01 02:00:00 | 7,096 | v0.2.4 |
| 2026-09-30 02:00:00 | 7,086 | v0.2.4 |
| 2026-09-29 02:00:00 | 7,082 | v0.2.4 |
| 2026-09-28 02:00:00 | 7,078 | v0.2.4 |
| 2026-09-27 02:00:00 | 7,074 | v0.2.4 |
| 2026-09-26 02:00:00 | 7,060 | v0.2.4 |
| 2026-09-25 02:00:00 | 7,032 | v0.2.4 |
| 2026-09-24 02:00:00 | 6,934 | v0.2.4 |
| 2026-09-23 02:00:00 | 6,930 | v0.2.4 |
| 2026-09-22 02:00:00 | 6,922 | v0.2.4 |
| 2026-09-21 02:00:00 | 6,918 | v0.2.4 |
| 2026-09-20 02:00:00 | 6,912 | v0.2.4 |
| 2026-09-19 02:00:00 | 6,896 | v0.2.4 |
| 2026-09-18 02:00:00 | 6,892 | v0.2.4 |
| 2026-09-17 02:00:00 | 6,890 | v0.2.4 |
| 2026-09-16 02:00:00 | 6,856 | v0.2.4 |
| 2026-09-15 11:36:37 | 6,856 | v0.2.4 |
| 2026-09-14 02:00:00 | 6,846 | v0.2.4 |
| 2026-09-13 02:00:00 | 6,842 | v0.2.4 |
| 2026-09-12 06:52:15 | 6,838 | v0.2.4 |
| 2026-09-11 02:00:00 | 6,830 | v0.2.4 |
| 2026-09-10 02:00:00 | 6,828 | v0.2.4 |
| 2026-09-09 02:00:00 | 6,822 | v0.2.4 |
| 2026-09-08 02:00:00 | 6,814 | v0.2.4 |
| 2026-09-07 02:00:00 | 6,800 | v0.2.4 |
| 2026-09-06 02:00:00 | 6,788 | v0.2.4 |
| 2026-09-05 02:00:00 | 6,786 | v0.2.4 |
| 2026-09-04 02:00:00 | 6,784 | v0.2.4 |
| 2026-09-03 02:00:00 | 6,774 | v0.2.4 |
| 2026-09-02 02:00:00 | 6,770 | v0.2.4 |
| 2026-09-01 02:00:00 | 6,768 | v0.2.4 |
| 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 |