deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Primary LanguageRustGNU Lesser General Public License v2.1LGPL-2.1
No one’s watching this repository yet.