Back to leaderboard 
Caesar Verifier
rwth-moves.caesar
The quantitative deductive verifier Caesar for VSCode
__ext_heyvlheyvlsnippetProgramming Languages
Open VSX
Total downloads
2,517
Since yesterday
+4
Current version
v4.0.2
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 2,517 | v4.0.2 |
| 2026-07-02 02:00:00 | 2,513 | v4.0.2 |
| 2026-07-01 02:00:00 | 2,509 | v4.0.2 |
| 2026-06-30 02:00:00 | 2,467 | v4.0.2 |
| 2026-06-29 14:14:45 | 2,467 | v4.0.2 |
| 2026-06-28 07:06:24 | 2,463 | v4.0.2 |