Translation of Rust's core and alloc crates to Coq (via jmillikin) — discussion

#formalmethods #rust