15 citations · 25 across the 10 of their papers we have counts for
1 paper · 1 filter
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…