Creusot 0.11.0: VerifyThis winner
Summary
Creusot 0.11.0 announces VerifyThis winner and highlights new verification features and design lessons. The post covers VerifyThis 2026, RustVerify 2026 activities, and changes like an explicit binder for results and the idea that 'collections should not be iterators' for logic types such as Seq<T>.