Refine
H-BRS Bibliography
- yes (1)
Departments, institutes and facilities
Document Type
- Report (1)
Year of publication
- 2010 (1)
Language
- English (1)
Has Fulltext
- no (1)
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.