Ground Truth: Checking Vampire Proofs via Satisfiability Modulo Theories.

Michael Rawson, Andrei Voronkov, Johannes Schoisswohl, Anja Petkovic Komel

Browse the full CADE paper archive.