collaborators

1 paper

cs.LO2026

Lean on Vampire Proofs (Short Paper)

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…