Creusot 0.14.0 release - Contracts for Rust, formally proved https://lobste.rs/s/6tbd2o #formalmethods #rust https://devlog.creusot.rs/v0-14-0/