Hacker News Rankings

formal.land on May 15, 2024


Translation of the Rust's core and alloc crates to Coq for formal verification	May 15, 2024, 1:40 a.m.	Graph	Comments