Vampire automated theorem prover
E312855
UNEXPLORED
Vampire automated theorem prover is a high-performance first-order logic reasoning system widely used in automated deduction and formal verification research.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Andrei Voronkov
→
|
notableWork |