Rust Articles, Tutorials & News

Kani Rust Verifier

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.

Read more »