Hacker Neus
Developing provably correct Rust code with Verus
(amazon.science)
159 points
by Betelbuddy
4 days ago |
75 comments
