A User-friendly Web-based Interface for Automatically Theorem Provers and for Automated Generated Proofs

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… (More)