Create proof summary.md