hax: A Rust verification tool (via jado) — discussion

#formalmethods #rust