https://martinuke0.github.io/tags/proof-assistants/ Recent content in Proof Assistants on martinuke0's Blog https://martinuke0.github.io/%3Clink%20or%20path%20of%20image%20for%20opengraph,%20twitter-cards%3E https://martinuke0.github.io/%3Clink%20or%20path%20of%20image%20for%20opengraph,%20twitter-cards%3E Hugo -- 0.152.2 en Sat, 16 May 2026 00:00:24 +0000 https://martinuke0.github.io/posts/2026-05-16-implementing-formal-verification-for-critical-rust-memory-safety-transitions/ Sat, 16 May 2026 00:00:24 +0000 https://martinuke0.github.io/posts/2026-05-16-implementing-formal-verification-for-critical-rust-memory-safety-transitions/ Learn how to apply formal verification to Rust's critical memory‑safety transitions, using model checking, proof assistants, and tooling to guarantee safety.