Creusot 0.11.0: VerifyThis Winner

Creusot 0.11.0はVerifyThisコンペティションで優勝したバージョンです。このリリースでは、Rustプログラムの正式検証機能が強化され、より信頼性の高いコード検証が可能になりました。