Formal Verification for Rust: Kani Demo To run this demo, you need to install Kani: cargo install --locked kani-verifier cargo kani setup License Licensed under the terms of the GPL-3 or later.