28 citations · 59 across the 5 of their papers we have counts for
1 paper · 1 filter
Jonas Bodingbauer, Márton Hajdu, Laura Kovács +2
Vampire proves theorems completely automatically in first- and higher-order logic extended with theories. Proof checking is increasingly demanded to consolidate user trust in Vampi…