Create proof.md