# 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](https://github.com/model-checking/kani/)
- [Kani Verifier on crates.io](https://crates.io/crates/kani-verifier)