卡尼库 crate 占位符

这是一个卡尼 Rust 验证器库的占位符 crate。

一旦认为稳定，该 crate 将会发布。

• GitHub 上的卡尼验证器
• crates.io 上的卡尼验证器

lib.rs:

卡尼库 crate

kani 是一组实用宏、特性和函数集合，有助于为 Kani 验证器编写证明 harness。一个用于避免空文件的占位符函数。