Author:Jasmin Christian Blanchette

Publications

Keyphrases

automatic theorem provers4, counterexample generation, direct proofs, higher-order logic3, interactive theorem proving, Isabelle/HOL3, model finding, proof assistants3, resolution, Satisfiability Modulo Theories (SMT), simple type theory, Skolemization, Sledgehammer2, structured proofs, superposition calculus, Vampire.