deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! - View it on GitHub