verus

Crates.io	verus
lib.rs	verus
version	0.0.0
source	src
created_at	2024-03-13 18:59:33.987196
updated_at	2024-03-13 18:59:33.987196
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	1172018
size	2,909

Bryan Parno (parno)

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: 2833