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