Creusot 0.1 (deductive verification tool for Rust) (via armael) — discussion

#formalmethods #rust