| layout | title | permalink |
|---|---|---|
page |
About |
/about/ |
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.
| layout | title | permalink |
|---|---|---|
page |
About |
/about/ |
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.