kani
| Crates.io | kani |
| lib.rs | kani |
| version | 0.0.1 |
| source | src |
| created_at | 2021-03-28 07:32:07.071636 |
| updated_at | 2024-05-21 21:35:08.861477 |
| description | Placeholder crate for the library of the Kani Rust verifier. |
| homepage | https://github.com/model-checking/kani |
| repository | https://github.com/model-checking/kani |
| max_upload_size | |
| id | 374565 |
| size | 13,125 |
(rahulku)
documentation
https://model-checking.github.io/kani/
README
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.