New top story on Hacker News: KRust: A Formal Executable Semantics of Rust

KRust: A Formal Executable Semantics of Rust

Comments