Open VSX Tracker
Back to leaderboard
VSquirrel Prover icon

VSquirrel Prover

tresml-lang.vsquirrel-prover

VScod{e,ium} extension for Squirrel proof assistant.

Open VSX Repository Homepage Issues
__ext_spkeybindingsproof assistantsquirrel-proverSquirrelProverProgramming Languages

Open VSX

Total downloads
6,746
Since yesterday
+106
Current version
v0.6.9
Days tracked
41

Download history

Version history

v0.6.9 from v0.6.8
Detected 2026-10-17 02:00 UTC
v0.6.8 from v0.6.7
Detected 2026-10-14 02:00 UTC
v0.6.7 from v0.6.6
Detected 2026-09-27 02:00 UTC
v0.6.6 from v0.6.5
Detected 2026-09-25 02:00 UTC
v0.6.5 from v0.6.0
Detected 2026-09-24 02:00 UTC

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:006,746v0.6.9
2026-10-29 02:00:006,640v0.6.9
2026-10-28 02:00:006,552v0.6.9
2026-10-27 02:00:006,462v0.6.9
2026-10-26 02:00:006,366v0.6.9
2026-10-25 02:00:006,278v0.6.9
2026-10-24 02:00:006,172v0.6.9
2026-10-23 02:00:006,042v0.6.9
2026-10-22 02:00:005,912v0.6.9
2026-10-21 02:00:005,774v0.6.9
2026-10-20 02:00:005,650v0.6.9
2026-10-19 02:00:005,528v0.6.9
2026-10-18 02:00:005,408v0.6.9
2026-10-17 02:00:005,276v0.6.9
2026-10-16 02:00:005,070v0.6.8
2026-10-15 02:00:004,946v0.6.8
2026-10-14 02:00:004,792v0.6.8
2026-10-13 02:00:004,576v0.6.7
2026-10-12 02:00:004,462v0.6.7
2026-10-11 02:00:004,356v0.6.7
2026-10-10 02:00:004,260v0.6.7
2026-10-09 02:00:004,156v0.6.7
2026-10-08 02:00:004,044v0.6.7
2026-10-07 02:00:003,920v0.6.7
2026-10-06 02:00:003,804v0.6.7
2026-10-05 02:00:003,698v0.6.7
2026-10-04 02:00:003,592v0.6.7
2026-10-03 02:00:003,510v0.6.7
2026-10-02 02:00:003,400v0.6.7
2026-10-01 02:00:003,286v0.6.7
2026-09-30 02:00:003,170v0.6.7
2026-09-29 02:00:003,018v0.6.7
2026-09-28 02:00:002,888v0.6.7
2026-09-27 02:00:002,728v0.6.7
2026-09-26 02:00:002,442v0.6.6
2026-09-25 02:00:002,334v0.6.6
2026-09-24 02:00:002,044v0.6.5
2026-09-23 02:00:001,766v0.6.0
2026-09-22 02:00:001,744v0.6.0
2026-09-21 02:00:001,704v0.6.0
2026-09-20 02:00:001,576v0.6.0