Creusot Devlog5 min read
Creusot 0.14.0 release - Contracts for Rust, formally proved
We are pleased to announce the release of version 0.14.0 of Creusot, our formal verification tool for Rust.
By devlog.creusot.rs by lyxiaLobsters
Read the full story
Originally published by Lobsters on Oct 13, 2026.
Comments
Sign in to join the discussion.