kani-0.0.1
- kani 0.0.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Dependencies
- Versions
- 50% of the crate is documented
Platform
Feature flags

Rust

kani0.0.1

Function hello_kani

pub fn hello_kani()