proof_guide.md 11.5 KB