Quint Deserves Rust (via ahelwer) — discussion

#formalmethods #rust