Kani library crate

kani is a collection of utility macros, traits and functions that help writing proof harnesses for the Kani verifier. A dummy function to avoid having an empty file.

Kani library crate placeholder

This is a placeholder crate for the library of the Kani Rust verifier.

This crate will be released in the future once it is deemed stable.

• Kani Verifier on github
• Kani Verifier on crates.io