Developing provably correct Rust code with Verus
164 points · 79 comments · Betelbuddy
[dead]
Unofficial Hacker News client; not affiliated with Y Combinator.
kobahiro · · focus · HN ↗
[dead]