Embed this proof

Finished Rust ownership module, can now reason about lifetimes without the compiler

<iframe src="https://powstik.com/embed/proof/65abc16c-ed10-4072-987d-9c12ddf2e9e0" width="100%" height="220" frameborder="0" style="border-radius:12px;overflow:hidden"></iframe>

Add this to your personal site, Notion, or portfolio →

← Back to proof

We use analytics to improve Powstik. No ads, ever.