Creusot. #Contracts for #Rust, formally provedhttps://creusot.rs/
CreusotFormal verification tool for Rust
@frankel@mastodon.top @frankel@mastodon.top @frankel@mastodon.top