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.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.