Redirecting Proofs by Contradiction.

Jasmin Christian Blanchette

Published in: PxTP@CADE (2013)

Keyphrases

theorem proving
equational theories
formal proofs
mathematical proofs
theorem prover
high level
data streams
decision procedures
natural deduction
formal proof
image sequences
data structure
pairwise
computer programs