proof
Rename proof.rb to proof.coq
Rename proof.coq to proof.md
Merge pull request #2 from zxc-wma/coq

Proof: Template.