Skip to main content

Research Repository

Advanced Search

All Outputs (1)

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
Conference Proceeding
Dennis, L. A., Jamnik, M., & Pollet, M. (2005). On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. In J. Carette, & W. Farmer (Eds.),

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.