Back to leaderboard 
Viper
viper-admin.viper
This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).
__ext_log__ext_sil__ext_vprautomatic deductionformal methodskeybindingslogseparation logicsnippetspecificationverificationviperProgramming LanguagesEducationThemesSnippets
Open VSX
Total downloads
7,055
Since yesterday
+56
Current version
v5.3.2
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 7,055 | v5.3.2 |
| 2026-07-02 02:00:00 | 6,999 | v5.3.2 |
| 2026-07-01 02:00:00 | 6,995 | v5.3.2 |
| 2026-06-30 02:00:00 | 6,987 | v5.3.2 |
| 2026-06-29 14:14:45 | 6,987 | v5.3.2 |
| 2026-06-28 07:06:24 | 6,981 | v5.3.2 |