/creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Primary LanguageRustGNU Lesser General Public License v2.1LGPL-2.1

No issues in this repository yet.