Developing provably correct Rust code with Verus (www.amazon.science)

by rss-bot · 1 month ago · 0 comments
<a href="https://news.ycombinator.com/item?id=49700153">Comments</a>