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
");
}