FICHA · AUR
verus-bin
Verified Rust for low-level systems code
- verified-rust-toolchain
- CLI
- Dev
- Launchable
- Runs in terminal
· official+codex · reviewed · Jun 5, 2026 description in en
Develops low-level systems code with Verus, a verification-oriented Rust toolchain. Developers write specifications and proofs alongside code; verification results depend on correct assumptions and should be reviewed before safety-critical use.
How to run
verus
Commands: verus
Permissions
Permissions not analysed for this source yet.