verus-lang/verus

Verified Rust for low-level systems code

⭐ 2.9k ⑂ 208 Rust MIT · 10 小时前推送

2.9k

Watchers

0

贡献者

0

Commits

0

Releases

288

Open Issues

10 小时前

最近推送

📦 版本动态

release/rolling/0.2026.08.22.eb66c53 预发布 1 天前

release/0.2026.08.15.7d4628a 6 天前

release/0.2026.08.09.92f466f 13 天前

release/0.2026.08.02.b677dd5 20 天前

release/0.2026.07.27.31579f0 27 天前

原文中文

暂无 README