Visions of the future: formal verification in Rust (via jado) — discussion

#plt #rust