vstd 0.0.0

Verus standard library: Verified Rust for low-level systems code
1
2
3
4
5
6
7
8
9
10
11
fn main() {
    println!("This is a placeholder crate for [Verus]'s standard library 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].

Useful links:
  [Verus]: https://github.com/verus-lang/verus/
  [Verus Playground]: https://play.verus-lang.org/
  [installation instructions]: https://github.com/verus-lang/verus/blob/main/INSTALL.md
");
}