xavxav Karma 1,032 Created 13 years ago About www.xav.io Recent Submissions 1. ▲ Visions of the future: formal verification in Rust (xav.io) 3 points · 1 year ago · 0 comments All submissions on HN · View profile on HN