15 citations · 30 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 15 cited
The Vampire and the FOOL
Evgenii Kotelnikov, Laura Kovács, Giles Reger +1
This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arr…
cs.LO2015★ 15 cited
A First Class Boolean Sort in First-Order Theorem Proving and TPTP
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
To support reasoning about properties of programs operating with boolean values one needs theorem provers to be able to natively deal with the boolean sort. This way, program prope…