Visions of the future: formal verification in Rust

3 points| xavxav | 1 year ago |xav.io