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.

1 post - 1 participant

Read full topic