F formal.land Translation of Rust's core and alloc crates to Coq for formal verification 358 points p4bl0 2 years ago 116 comments
