Verus

这是一个用于Verus的占位符crate，直到我们可以支持从crates.io直接安装。

目前，您可以在Verus Playground浏览器中尝试Verus，或要本地安装Verus，请遵循我们更详细的安装说明。