suhr / creusot Goto Github PK
View Code? Open in Web Editor NEWThis project forked from creusot-rs/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
License: GNU Lesser General Public License v2.1