Generalization and Reuse of Tactic Proofs.

Amy P. Felty Douglas J. Howe

Published in: LPAR (1994)

Keyphrases

equational theories
learning objects
formal proofs
real world
theorem prover
software reuse
knowledge base
case study
digital libraries
lower bound