vampire (math/vampire) Updated: 1 year, 7 months ago Add to my watchlist
Vampire Theorem ProverHigh performance automated theorem prover.
Version: 4.9 License: BSD and MIT
GitHub
Statistics for selected duration
2026-Mar-13 to 2026-Apr-12
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.