Lean on Vampire Proofs (Short Paper).

Jonas Bodingbauer, Mrton Hajd, Laura Kovcs, Axel Polaczek, Michael Rawson

Browse the full ITP paper archive.