News for hackers. Stuff that matters.

A comment on Verified Rust for low-level systems code. Parent comment

Re:Verified Rust for low-level systems code by jaybosamiya on Saturday May 04, 2024 @06:20PM (#40260760)
A fork of rust-analyzer, called verus-analyzer, provides support for Verus syntax and actions (including new proof-specific actions) https://github.com/verus-lang/verus-analyzer/
[ Parent | on HN ]

There are no comments on this comment yet.