Translation of Rust's core and alloc crates to Coq for formal verification

news.ycombinator.com

saved by: 0 people
related read on: Translation of Rust's core and alloc crates to Coq for fo... discussion