Verus标准库

这是一个用于Verus标准库的占位符crate，直到我们可以直接从crates.io使用。

目前，您可以在Verus游乐场中尝试Verus，或者要本地安装Verus，请按照我们的详细安装说明进行操作。