Code Editor : proof.txt