Joined 2/12/2012, 2:23:09 AM has 1027 karma
www.xav.io
Visions of the future: formal verification in Rust