Open VSX Tracker
Back to leaderboard
VsRocq icon

VsRocq

rocq-prover.vsrocq

VsRocq is an extension for Visual Studio Code with support for the Rocq Prover

Open VSX Repository Homepage Issues
__ext_vGallinakeybindingsproof assistantrocqRocq Projectrocq-projecttheorem proverProgramming Languages

Open VSX

Total downloads
6,147
Since yesterday
+36
Current version
v2.5.1
Days tracked
126

Download history

Version history

v2.5.1 from v2.5.0
Detected 2026-10-24 02:00 UTC
v2.5.0 from v2.4.3
Detected 2026-09-07 02:00 UTC

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:006,147v2.5.1
2026-10-29 02:00:006,111v2.5.1
2026-10-28 02:00:006,055v2.5.1
2026-10-27 02:00:005,963v2.5.1
2026-10-26 02:00:005,863v2.5.1
2026-10-25 02:00:005,711v2.5.1
2026-10-24 02:00:005,591v2.5.1
2026-10-23 02:00:005,395v2.5.0
2026-10-22 02:00:005,373v2.5.0
2026-10-21 02:00:005,349v2.5.0
2026-10-20 02:00:005,323v2.5.0
2026-10-19 02:00:005,295v2.5.0
2026-10-18 02:00:005,277v2.5.0
2026-10-17 02:00:005,261v2.5.0
2026-10-16 02:00:005,245v2.5.0
2026-10-15 02:00:005,231v2.5.0
2026-10-14 02:00:005,197v2.5.0
2026-10-13 02:00:005,183v2.5.0
2026-10-12 02:00:005,163v2.5.0
2026-10-11 02:00:005,147v2.5.0
2026-10-10 02:00:005,119v2.5.0
2026-10-09 02:00:005,099v2.5.0
2026-10-08 02:00:005,069v2.5.0
2026-10-07 02:00:005,059v2.5.0
2026-10-06 02:00:005,023v2.5.0
2026-10-05 02:00:005,001v2.5.0
2026-10-04 02:00:004,985v2.5.0
2026-10-03 02:00:004,965v2.5.0
2026-10-02 02:00:004,947v2.5.0
2026-10-01 02:00:004,919v2.5.0
2026-09-30 02:00:004,893v2.5.0
2026-09-29 02:00:004,877v2.5.0
2026-09-28 02:00:004,867v2.5.0
2026-09-27 02:00:004,853v2.5.0
2026-09-26 02:00:004,841v2.5.0
2026-09-25 02:00:004,823v2.5.0
2026-09-24 02:00:004,779v2.5.0
2026-09-23 02:00:004,761v2.5.0
2026-09-22 02:00:004,749v2.5.0
2026-09-21 02:00:004,721v2.5.0
2026-09-20 02:00:004,703v2.5.0
2026-09-19 02:00:004,645v2.5.0
2026-09-18 02:00:004,625v2.5.0
2026-09-17 02:00:004,595v2.5.0
2026-09-16 02:00:004,565v2.5.0
2026-09-15 11:36:374,539v2.5.0
2026-09-14 02:00:004,503v2.5.0
2026-09-13 02:00:004,469v2.5.0
2026-09-12 06:52:154,445v2.5.0
2026-09-11 02:00:004,391v2.5.0
2026-09-10 02:00:004,327v2.5.0
2026-09-09 02:00:004,215v2.5.0
2026-09-08 02:00:004,113v2.5.0
2026-09-07 02:00:003,927v2.5.0
2026-09-06 02:00:003,613v2.4.3
2026-09-05 02:00:003,607v2.4.3
2026-09-04 02:00:003,599v2.4.3
2026-09-03 02:00:003,587v2.4.3
2026-09-02 02:00:003,567v2.4.3
2026-09-01 02:00:003,557v2.4.3
2026-08-31 02:00:003,533v2.4.3
2026-08-30 02:00:003,527v2.4.3
2026-08-29 02:00:003,521v2.4.3
2026-08-28 02:00:003,513v2.4.3
2026-08-27 02:00:003,505v2.4.3
2026-08-26 02:00:003,483v2.4.3
2026-08-25 02:00:003,469v2.4.3
2026-08-24 02:00:003,445v2.4.3
2026-08-23 02:00:003,433v2.4.3
2026-08-22 02:00:003,425v2.4.3
2026-08-21 02:00:003,413v2.4.3
2026-08-20 02:00:003,411v2.4.3
2026-08-19 02:00:003,407v2.4.3
2026-08-18 02:00:003,403v2.4.3
2026-08-17 02:00:003,399v2.4.3
2026-08-16 02:00:003,393v2.4.3
2026-08-15 02:00:003,381v2.4.3
2026-08-14 02:00:003,375v2.4.3
2026-08-13 02:00:003,371v2.4.3
2026-08-12 02:00:003,365v2.4.3
2026-08-11 02:00:003,357v2.4.3
2026-08-10 02:00:003,343v2.4.3
2026-08-09 02:00:003,335v2.4.3
2026-08-08 02:00:003,327v2.4.3
2026-08-07 02:00:003,315v2.4.3
2026-08-06 02:00:003,305v2.4.3
2026-08-05 02:00:003,291v2.4.3
2026-08-04 02:00:003,277v2.4.3
2026-08-03 02:00:003,263v2.4.3
2026-08-02 02:00:003,250v2.4.3
2026-08-01 02:00:003,241v2.4.3
2026-07-31 02:00:003,229v2.4.3
2026-07-30 02:00:003,223v2.4.3
2026-07-29 06:50:173,211v2.4.3
2026-07-28 02:00:003,197v2.4.3
2026-07-27 02:00:003,187v2.4.3
2026-07-26 02:00:003,179v2.4.3
2026-07-25 02:00:003,161v2.4.3
2026-07-24 02:00:003,145v2.4.3
2026-07-23 02:00:003,135v2.4.3
2026-07-22 02:00:003,117v2.4.3
2026-07-21 02:00:003,095v2.4.3
2026-07-20 02:00:003,081v2.4.3
2026-07-19 02:00:003,073v2.4.3
2026-07-18 02:00:003,061v2.4.3
2026-07-17 02:00:003,055v2.4.3
2026-07-16 02:00:003,053v2.4.3
2026-07-15 02:00:003,041v2.4.3
2026-07-14 02:00:003,033v2.4.3
2026-07-13 02:00:003,031v2.4.3
2026-07-12 02:00:003,017v2.4.3
2026-07-11 02:00:003,009v2.4.3
2026-07-10 02:00:002,999v2.4.3
2026-07-09 05:29:222,993v2.4.3
2026-07-08 02:00:002,983v2.4.3
2026-07-07 02:00:002,973v2.4.3
2026-07-06 02:00:002,967v2.4.3
2026-07-05 02:00:002,965v2.4.3
2026-07-04 02:00:002,957v2.4.3
2026-07-04 02:00:002,957v2.4.3
2026-07-03 08:30:392,947v2.4.3
2026-07-02 02:00:002,913v2.4.3
2026-07-01 02:00:002,903v2.4.3
2026-06-30 02:00:002,887v2.4.3
2026-06-29 14:14:452,885v2.4.3
2026-06-28 07:06:242,845v2.4.3