verus
Verified Rust for low-level systems code
- ATK
- 3317
- DEF
- 2610
Common
verus-lang/verus
Common · Base · GenesisVerified Rust for low-level systems code
Attack3,317
Defense2,610
Drag the card to turn it. Use the flip button to see the back.
Open card page