43 citations · 170 across the 19 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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…