Resource Type:
Code
License:
Language:
C++
Data Format:
Description
Vampire is a theorem prover that is a system able to prove theorems. More precisely, it proves theorems in first-order logic.
Categorized in: Representation and Reasoning | Automated Theorem Proving
Post comment
Cancel