‹ BackHN Continuity

Thread

Developing provably correct Rust code with Verus

164 points · 79 comments · Betelbuddy

  1. Meneth · · focus · HN ↗
    "Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.