Creusot 0.14.0 – Contracts for Rust, formally proved

 (devlog.creusot.rs)

2 points | by syrak 2 hours ago

2 comments