‹ BackHN Continuity

Thread

Developing provably correct Rust code with Verus

164 points · 79 comments · Betelbuddy

  1. lukeify · · focus · HN ↗
    Reminds me of Whiley, which was developed by one of my university professors.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.