Monitoring
vampire
High-performance theorem prover
Dedicated URL：https://vampire.tu53.com
Official site：https://vprover.github.io/
2.2K
downloads
6.6K
views
Windows
Platform
2026-10-24
Updated
Download links
No download link has been collected yet — get the official installer from the vendor site.
Description
High-performance theorem prover
Related
DeskPad
Monitoring
Virtual monitor for screen sharing
4.7K downloads
Details
DiskBoard
Monitoring
Disk benchmark and S.M.A.R.T. health monitor
6.7K downloads
Details
DisplayBuddy
Monitoring
Monitor resolution and settings manager
1.5K downloads
Details
Displays
Monitoring
Monitor resolution and settings manager
6.2K downloads
Details