Creusot helps you prove your Rust code is correct (via fanf) — discussion

#rust