Vampire theorem prover (Q7912960)
Jump to navigation
Jump to search
automatic theorem prover
- Vampire
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Vampire theorem prover |
automatic theorem prover |
|
Statements
4.2.2
14 December 2017
1 reference
4 May 2018
Release 4.2.2 (English)
14 December 2017
4.expect," "anticipate," "intend," "plan," "believe," "could," "seek," "see," "will," "may," "would," "might," "potentially," "estimate," "continue," "expect," "target,"
24 August 2019
1 reference
25 August 2019
Release 4.4 (English)
24 August 2019
4.5.1
15 July 2020
1 reference
15 July 2020
Release 4.5.1 (English)
15 July 2020
1 reference
Identifiers
1 reference
Sitelinks
Wikipedia(1 entry)
- enwiki Vampire (theorem prover)