deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Primary LanguageRustGNU Lesser General Public License v2.1LGPL-2.1