Designing a GUI for Proofs - Evaluation of an HCI Experiment