We've just started a devlog for the Creusot project, a deductive verifier for Rust. If you're a fan of formal methods for Rust, I hope you'll find it interesting.
4 Likes
We've just started a devlog for the Creusot project, a deductive verifier for Rust. If you're a fan of formal methods for Rust, I hope you'll find it interesting.