Follow
Translation of the Rust's core and alloc crates to Coq for formal verification
https://news.ycombinator.com/item?id=40363744
#hackernews #tech
