Vampire theorem prover

Summary

Vampire theorem prover is a proof assistant^[1]. It draws 10 Wikipedia views per month (proof_assistant category, ranking #3 of 6).^[2]

Key Facts

• Vampire theorem prover is in the country of United Kingdom^[3].
• Vampire theorem prover's instance of is recorded as proof assistant^[4].
• Vampire theorem prover's instance of is recorded as software^[5].
• Vampire theorem prover's developer is recorded as Andrei Voronkov^[6].
• Vampire theorem prover's software version identifier is recorded as 4.2.2^[7].
• Vampire theorem prover's software version identifier is recorded as 4.expect," "anticipate," "intend," "plan," "believe," "could," "seek," "see," "will," "may," "would," "might," "potentially," "estimate," "continue," "expect," "target,"^[8].
• Vampire theorem prover's software version identifier is recorded as 4.5.1^[9].
• Vampire theorem prover's has use is recorded as automated theorem proving^[10].
• Vampire theorem prover's Freebase ID is recorded as /m/035lz6^[11].
• Vampire theorem prover's official website is recorded as https://vprover.github.io/^[12].
• Vampire theorem prover's source code repository URL is recorded as https://github.com/vprover/vampire^[13].
• Vampire theorem prover's Microsoft Academic ID is recorded as 2776562800^[14].
• Vampire theorem prover's OpenAlex ID is recorded as C2776562800^[15].

Why It Matters

Vampire theorem prover draws 10 Wikipedia views per month (proof_assistant category, ranking #3 of 6).^[2]