Abstractions Before Proofs.

Published in: VERIFY@IJCAR (2010)

Keyphrases

high level
theorem proving
theorem prover
databases
decision procedures
data sets
formal proof
natural deduction
mathematical proofs
web pages
three dimensional
equational theories
automated theorem provers