[PPT] - Simple Verification of Rust Programs via Functional Purification PowerPoint Presentation