github.com

新手上路 2026-2-4 22:40

主楼

[资源名称]

verus-lang/verus - 用于低级系统代码的验证 Rust

[资源来源]

github.com

[资源介绍]

GitHub - verus-lang/verus: Verified Rust for low-level systems code
Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.
* verus-lang/verus - 用于低级系统代码的验证 Rust

[资源合集]

Rust 开发者宝典！精选的 Rust 代码和精华资源

回复点赞举报