proof_guide.md 15.5 KB