zhassan-aws/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
RustLGPL-2.1
No issues in this repository yet.
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
RustLGPL-2.1
No issues in this repository yet.