‹ BackHN Continuity

Thread

Developing provably correct Rust code with Verus

164 points · 79 comments · Betelbuddy

  1. homarp · · focus · HN ↗
    see also <a href="https:&#x2F;&#x2F;lean-lang.org&#x2F;use-cases&#x2F;aeneas&#x2F;" rel="nofollow">https:&#x2F;&#x2F;lean-lang.org&#x2F;use-cases&#x2F;aeneas&#x2F; <a href="https:&#x2F;&#x2F;github.com&#x2F;AeneasVerif&#x2F;aeneas" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;AeneasVerif&#x2F;aeneas (by Microsoft)
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.