verus-lang/verus
Verified Rust for low-level systems code
Rust
Stars
2.8k
Forks
192
License
MIT
Open Issues
266
Updated
8h ago
No README available
Statistics
- Stars
- 2.8k
- Forks
- 192
- Open Issues
- 266
- Created
- Oct 19, 2021
- Updated
- Jul 24, 2026