Back to leaderboard
whycode icon

whycode

xldenis.whycode

Why3 LSP client

__ext_coma__ext_mlwcomawhy3Other

Open VSX

Total downloads
92,085
Since yesterday
+4
Current version
v0.2.535
Days tracked
6

Download history

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-07-03 08:30:3992,085v0.2.535
2026-07-02 02:00:0092,081v0.2.535
2026-07-01 02:00:0092,073v0.2.535
2026-06-30 02:00:0092,067v0.2.535
2026-06-29 14:14:4592,065v0.2.535
2026-06-28 07:06:2492,055v0.2.535