On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
Presentation / Conference Contribution
Dennis, L. A., Jamnik, M., & Pollet, M. On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. Presented at 12th Symposium on the Integratoin of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)
We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms.
We us...
Read More about On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner.