Added gui for creating proofs