ATPPortal: A User-friendly Webbased Interface for Automated Theorem Provers and for Automatically Generated ProofsP. Höfner, M.E. Müller, S. Zeissler
in: Universität Augsburg Technical Report, Institute of Computer Science, University of Augsburg, October 2010
This report describes the design, the implementation and the usage of a system for managing different systems for automated theorem proving and automatically generated proofs. In particular, we focus on a user-friendly web-based interface and a structure for collecting and cataloguing proofs in a uniform way. The second point hopefully helps to understand the structure of automatically generated proofs and builds a starting point for new insights for strategies for proof planning.
- tr2010-10 - (tr2010-10.pdf, 0 KB)