Hacker News new | ask | show | jobs
Visions of the future: formal verification in Rust (xav.io)
3 points by xavxav 752 days ago