creusot-rs/creusot

Creusot helps you prove your Rust code is correct.

语言：Rust · GitHub 星标：1,950 · Fork：101

话题：contracts · deductive-reasoning · formal-methods · formal-verification · proof · rust · rust-lang · verification

在 GitHub 上查看原仓库