coq-of-rust: Formal verification tool for Rust (via jeanthomas) — discussion

#formalmethods #rust