Creusot is a deductive verifier for the Rust programming language

 (creusot.rs)

1 points | by Bluestein 3 hours ago

0 comments