Vampire theorem prover

Vampire is a theorem prover, that is, a system able to prove theorems

Proof assistant · by Andrei Voronkov · vprover.github.io

Open Vampire theorem prover in AirStack

What Vampire theorem prover’s own pages say

What it says it doesVampire is a theorem prover, that is, a system able to prove theorems vprover.github.io

Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.