DiReCT

---

Project DiReCT Developing abstractions and techniques for proof planning Work area: Theorem Proving Start date: March 1, 1997 Duration: 24 months Funding: Deutsche Forschungsgemeinschaft Contact: Dr. Dieter Hutter (Hutter@dfki.uni-sb.de)

In this project, techniques for proof planning are developed, which are especially new formula abstractions and heuristics guiding the proof plan search. The results of the project will be implemented and tested in the inductive theorem prover INKA.