cargo-verus

Crates.io	cargo-verus
lib.rs	cargo-verus
version	0.0.0
created_at	2025-07-01 00:57:40.318524+00
updated_at	2025-07-01 00:57:40.318524+00
description	Verus: Verified Rust for low-level systems code
homepage	https://github.com/verus-lang/verus
repository	https://github.com/verus-lang/verus
max_upload_size
id	1732627
size	3,112

Andrea Lattuada (utaal)

documentation

https://verus-lang.github.io/verus/verusdoc/vstd/

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.

Commit count: 3640