Verus: Verified Rust for low-level systems code
(github.com)
158 points
by mmcloughlin
10 days ago |
48 comments
()
()
()
()
()
()
()
