verus-lang / verus

验证过的 Rust 语言，适用于底层系统代码。

仓库 Star

3,539总榜 #17,513

Fork

247

最近推送

3 天前更新

仓库创建

2021 年创建