Rename proof.coq to proof.md