VERY ALPHA
Stanley is a Rust compiler plugin to verify the semantics of functions via given {pre,post}conditions. It is based upon RustProof but overall, is a reimplementation and feature improvement.
This project is dual licensed under MIT and Apache-2.0.