verus 0.0.0

Verus: Verified Rust for low-level systems code
verus-0.0.0 is not a library.

Verus

Quick Start Library Documentation project chat

This is a placeholder crate for Verus, until we can support direct installation from crates.io.

For now, you can try Verus in your browser on the Verus Playground, or to install Verus locally, follow our more detailed installation instructions.