/creusot

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

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

Watchers

No one’s watching this repository yet.