Creusot 0.14.0 release - Contracts for Rust, formally proved (by lyxia) — discussion
#formalmethods #rust
