Embed this proof
Finished Rust ownership module, can now reason about lifetimes without the compiler
<iframe src="https://powstik.com/embed/proof/bc08484b-84a2-450e-b3b7-e2c66f6e5c39" 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