Creusot 0.11.0: VerifyThis Winner
Creusot 0.11.0 has been released, featuring the winning solution from VerifyThis 2025. The update includes improved verification capabilities and enhanced tooling for Rust program verification.
Creusot 0.11.0 has been released, featuring the winning solution from VerifyThis 2025. The update includes improved verification capabilities and enhanced tooling for Rust program verification.